aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--src/synth/netlists-iterators.adb4
1 files changed, 1 insertions, 3 deletions
diff --git a/src/synth/netlists-iterators.adb b/src/synth/netlists-iterators.adb
index 2bb1c8c05..4468a889e 100644
--- a/src/synth/netlists-iterators.adb
+++ b/src/synth/netlists-iterators.adb
@@ -316,9 +316,7 @@ package body Netlists.Iterators is
Inst := Get_Next_Instance (Inst);
exit when Inst = No_Instance;
Num := Get_Nbr_Outputs (Inst);
- if Num = 0 then
- pragma Assert (Get_Id (Get_Module (Inst)) = Id_Free);
- else
+ if Num /= 0 then
return Nets_Cursor'(Inst => Inst,
N => Get_First_Output (Inst),
Num => Num);