diff options
| -rw-r--r-- | src/synth/netlists-cleanup.adb | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/synth/netlists-cleanup.adb b/src/synth/netlists-cleanup.adb index 2c7045437..ccf73740f 100644 --- a/src/synth/netlists-cleanup.adb +++ b/src/synth/netlists-cleanup.adb @@ -189,9 +189,13 @@ package body Netlists.Cleanup is case Get_Id (Inst) is when Id_Assert - | Id_Assume - | Id_Cover - | Id_Assert_Cover => + | Id_Assume + | Id_Cover + | Id_Assert_Cover => + Insert_Mark_And_Sweep (Inspect, Inst); + when Id_User_None + | Id_User_Parameters => + -- Always keep user modules. Insert_Mark_And_Sweep (Inspect, Inst); when others => null; |