summaryrefslogtreecommitdiff
path: root/compiler/InterpreterLoops.mli
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/InterpreterLoops.mli')
-rw-r--r--compiler/InterpreterLoops.mli3
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/InterpreterLoops.mli b/compiler/InterpreterLoops.mli
index 320e4bcb..03633861 100644
--- a/compiler/InterpreterLoops.mli
+++ b/compiler/InterpreterLoops.mli
@@ -58,6 +58,7 @@
open Contexts
open Cps
+open Meta
(** Evaluate a loop *)
-val eval_loop : config -> st_cm_fun -> st_cm_fun
+val eval_loop : config -> meta -> st_cm_fun -> st_cm_fun