From ed440ad3dfb3f56c939d386da2b1131e5506c57f Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 27 Jul 2022 04:59:12 +0200
Subject: netlists-expands: do not try to clean input of dyn_extract.  Fix
 #2142

---
 src/synth/netlists-expands.adb | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/src/synth/netlists-expands.adb b/src/synth/netlists-expands.adb
index 0f69dd93d..fd1c178fb 100644
--- a/src/synth/netlists-expands.adb
+++ b/src/synth/netlists-expands.adb
@@ -221,11 +221,7 @@ package body Netlists.Expands is
          --  Just return the value.
          Res := Get_Input_Net (Inst, 0);
          --  Disconnect the address
-         Addr := Disconnect_And_Get (Inst, 1);
-         if not Is_Connected (Addr) then
-            --  Should be a Const_X.
-            Remove_Instance (Get_Net_Parent (Addr));
-         end if;
+         Disconnect (Get_Input (Inst, 1));
       else
          --  2. build extract gates
          Els := new Case_Element_Array (1 .. Nbr_Els);
-- 
cgit v1.2.3