synth: handle wire assigned to a static value. Fix #1058

1 files changed, 5 insertions, 1 deletions

diff --git a/src/synth/netlists-utils.ads b/src/synth/netlists-utils.ads
index f8749749f..6a29e0034 100644
--- a/src/synth/netlists-utils.ads
+++ b/src/synth/netlists-utils.ads
@@ -53,12 +53,16 @@ package Netlists.Utils is
    function Is_Const_Module (Id : Module_Id) return Boolean;
    function Is_Const_Net (N : Net) return Boolean;
 
-   --  Assuming than N is a const net, return the value (for small values).
+   --  Assuming that N is a const net, return the value (for small values).
    function Get_Net_Uns64 (N : Net) return Uns64;
 
    function Get_Net_Int64 (N : Net) return Int64;
    pragma Inline (Get_Net_Int64);
 
+   --  Assuming that N is a const net, return the value at offset OFF.
+   procedure Get_Net_Element
+     (N : Net; Off : Uns32; Va : out Uns32; Zx : out Uns32);
+
    --  Return True iff O has at least one sink (ie is connected to at least one
    --  input).
    function Is_Connected (O : Net) return Boolean;