diff options
Diffstat (limited to 'src/synth/synth-inference.ads')
-rw-r--r-- | src/synth/synth-inference.ads | 2 |
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; |