From 1aa515cc89914d029f129b38c585c66670977f3f Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sat, 5 Sep 2020 07:51:19 +0200 Subject: netlists-cleanup: do not remove user sub modules. Fix #1454 --- src/synth/netlists-cleanup.adb | 10 +++++++--- 1 file 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; -- cgit v1.2.3