From bf646039f586db4ef199d6ed466c1f173689d1a8 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Mon, 18 May 2020 18:40:01 +0200 Subject: netlits: Use Remove_Instance instead of Free_Instance. --- src/synth/netlists-utils.ads | 4 ---- 1 file changed, 4 deletions(-) (limited to 'src/synth/netlists-utils.ads') 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; -- cgit v1.2.3