diff options
Diffstat (limited to 'src/synth/netlists-utils.ads')
| -rw-r--r-- | src/synth/netlists-utils.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/synth/netlists-utils.ads b/src/synth/netlists-utils.ads index 2f2570f3e..165e986d8 100644 --- a/src/synth/netlists-utils.ads +++ b/src/synth/netlists-utils.ads @@ -44,6 +44,7 @@ package Netlists.Utils is -- Return True iff ID describe a constant. function Is_Const_Module (Id : Module_Id) return Boolean; + function Is_Const_Net (N : Net) return Boolean; -- Return True iff O has at least one sink (ie is connected to at least one -- input). |