diff options
Diffstat (limited to 'src/synth/synth-environment-debug.ads')
| -rw-r--r-- | src/synth/synth-environment-debug.ads | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/synth/synth-environment-debug.ads b/src/synth/synth-environment-debug.ads index 074608e2a..9fd81b42c 100644 --- a/src/synth/synth-environment-debug.ads +++ b/src/synth/synth-environment-debug.ads @@ -19,9 +19,10 @@ -- MA 02110-1301, USA. package Synth.Environment.Debug is - procedure Dump_Wire (Wid : Wire_Id); - procedure Dump_Assign (Asgn : Seq_Assign); - procedure Dump_Conc_Assigns (First : Conc_Assign); + procedure Put_Wire_Id (Wid : Wire_Id); + procedure Debug_Wire (Wid : Wire_Id); + procedure Debug_Assign (Asgn : Seq_Assign); + procedure Debug_Conc_Assigns (First : Conc_Assign); private - procedure Dump_Phi (Id : Phi_Id); + procedure Debug_Phi (Id : Phi_Id); end Synth.Environment.Debug; |