diff options
Diffstat (limited to 'src/synth')
| -rw-r--r-- | src/synth/netlists.adb | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/synth/netlists.adb b/src/synth/netlists.adb index 66854a714..079134b78 100644 --- a/src/synth/netlists.adb +++ b/src/synth/netlists.adb @@ -158,7 +158,6 @@ package body Netlists is return Module is pragma Assert (Is_Valid (Parent)); - pragma Assert (Nbr_Inputs + Nbr_Outputs > 0); Parent_Rec : Module_Record renames Modules_Table.Table (Parent); Res : Module; begin |