aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/synth-environment-debug.ads
diff options
context:
space:
mode:
Diffstat (limited to 'src/synth/synth-environment-debug.ads')
-rw-r--r--src/synth/synth-environment-debug.ads2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/synth/synth-environment-debug.ads b/src/synth/synth-environment-debug.ads
index 55bbf3d66..2dd25a930 100644
--- a/src/synth/synth-environment-debug.ads
+++ b/src/synth/synth-environment-debug.ads
@@ -20,6 +20,6 @@
package Synth.Environment.Debug is
procedure Dump_Wire_Id (Id : Wire_Id);
- procedure Dump_Assign (Asgn : Assign);
+ procedure Dump_Assign (Asgn : Seq_Assign);
procedure Dump_Phi (Id : Phi_Id);
end Synth.Environment.Debug;