diff options
Diffstat (limited to 'src/synth/netlists-utils.ads')
| -rw-r--r-- | src/synth/netlists-utils.ads | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/synth/netlists-utils.ads b/src/synth/netlists-utils.ads index aeeb5cc78..a6d63dbec 100644 --- a/src/synth/netlists-utils.ads +++ b/src/synth/netlists-utils.ads @@ -81,10 +81,6 @@ package Netlists.Utils is -- Return True iff O has one sink (is connected to one input). function Has_One_Connection (O : Net) return Boolean; - -- Disconnect input I. If the driver of I has no output(s) connected, - -- disconnect and free it. - procedure Disconnect_And_Free (I : Input); - -- Disconnect an input and return the previous driver. function Disconnect_And_Get (I : Input) return Net; function Disconnect_And_Get (Inst : Instance; I : Port_Idx) return Net; |