From 9d27e2e27db06eaad7565b55366ca8734b364fca Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 2 Aug 2023 11:03:59 +0200
Subject: Make progress proapagating the changes

---
 compiler/InterpreterStatements.mli | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'compiler/InterpreterStatements.mli')

diff --git a/compiler/InterpreterStatements.mli b/compiler/InterpreterStatements.mli
index f28bf2ea..814bc964 100644
--- a/compiler/InterpreterStatements.mli
+++ b/compiler/InterpreterStatements.mli
@@ -31,7 +31,8 @@ val pop_frame : C.config -> bool -> (V.typed_value option -> m_fun) -> m_fun
 
     Note: there are no region parameters, because they should be erased.
  *)
-val instantiate_fun_sig : T.ety list -> LA.fun_sig -> LA.inst_fun_sig
+val instantiate_fun_sig :
+  T.ety list -> T.const_generic list -> LA.fun_sig -> LA.inst_fun_sig
 
 (** Helper.
 
-- 
cgit v1.2.3