aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--src/synth/netlists-cleanup.adb10
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;