diff options
Diffstat (limited to 'src/synth/synth-environment-debug.ads')
| -rw-r--r-- | src/synth/synth-environment-debug.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/synth/synth-environment-debug.ads b/src/synth/synth-environment-debug.ads index 2dd25a930..8454f2c97 100644 --- a/src/synth/synth-environment-debug.ads +++ b/src/synth/synth-environment-debug.ads @@ -22,4 +22,5 @@ package Synth.Environment.Debug is procedure Dump_Wire_Id (Id : Wire_Id); procedure Dump_Assign (Asgn : Seq_Assign); procedure Dump_Phi (Id : Phi_Id); + procedure Dump_Conc_Assigns (First : Conc_Assign); end Synth.Environment.Debug; |