diff options
Diffstat (limited to 'src/synth/synth-environment.adb')
-rw-r--r-- | src/synth/synth-environment.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/synth/synth-environment.adb b/src/synth/synth-environment.adb index 0f5d8816e..58fd0f0d8 100644 --- a/src/synth/synth-environment.adb +++ b/src/synth/synth-environment.adb @@ -64,7 +64,9 @@ package body Synth.Environment is is Wire_Rec : Wire_Id_Record renames Wire_Id_Table.Table (Wid); begin + -- Check the wire was not already free. pragma Assert (Wire_Rec.Kind /= Wire_None); + pragma Assert (Wire_Rec.Cur_Assign = No_Seq_Assign); Wire_Rec.Kind := Wire_None; end Free_Wire; |