1 files changed, 2 insertions, 0 deletions
diff --git a/src/synth/synth-inference.ads b/src/synth/synth-inference.ads
index 371932f3e..377b481ab 100644
--- a/src/synth/synth-inference.ads
+++ b/src/synth/synth-inference.ads
@@ -18,6 +18,7 @@
 --  Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
 --  MA 02110-1301, USA.
 
+with Types; use Types;
 with Netlists; use Netlists;
 with Netlists.Builders; use Netlists.Builders;
 with Synth.Environment; use Synth.Environment;
@@ -30,6 +31,7 @@ package Synth.Inference is
    procedure Infere (Ctxt : Context_Acc;
                      Wid : Wire_Id;
                      Val : Net;
+                     Off : Uns32;
                      Prev_Val : Net;
                      Stmt : Source.Syn_Src);
 end Synth.Inference;