1 files changed, 7 insertions, 1 deletions
diff --git a/src/synth/synth-inference.ads b/src/synth/synth-inference.ads
index 5777e04e4..371932f3e 100644
--- a/src/synth/synth-inference.ads
+++ b/src/synth/synth-inference.ads
@@ -20,10 +20,16 @@
 
 with Netlists; use Netlists;
 with Netlists.Builders; use Netlists.Builders;
+with Synth.Environment; use Synth.Environment;
+with Synth.Source;
 
 package Synth.Inference is
    --  To be called when there is an assignment to a signal/output of VAL and
    --  the previous value is PREV_VAL (an Id_Signal or Id_Output).
    --  If there is a loop, infere a dff or a latch or emit an error.
-   function Infere (Ctxt : Context_Acc; Val : Net; Prev_Val : Net) return Net;
+   procedure Infere (Ctxt : Context_Acc;
+                     Wid : Wire_Id;
+                     Val : Net;
+                     Prev_Val : Net;
+                     Stmt : Source.Syn_Src);
 end Synth.Inference;