diff options
Diffstat (limited to 'src/synth/netlists.adb')
| -rw-r--r-- | src/synth/netlists.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/synth/netlists.adb b/src/synth/netlists.adb index 7207d6ac0..545a4df16 100644 --- a/src/synth/netlists.adb +++ b/src/synth/netlists.adb @@ -525,6 +525,7 @@ package body Netlists is is pragma Assert (Is_Valid (Inst)); begin + pragma Assert (not Check_Connected (Inst)); Instances_Table.Table (Inst).Klass := Free_Module; end Free_Instance; |