diff options
Diffstat (limited to '')
| -rw-r--r-- | compiler/InterpreterStatements.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/InterpreterStatements.mli b/compiler/InterpreterStatements.mli index 79ce1f73..c70396d6 100644 --- a/compiler/InterpreterStatements.mli +++ b/compiler/InterpreterStatements.mli @@ -18,7 +18,7 @@ open Cps *) val pop_frame : config -> - Meta.meta -> + Meta.span -> bool -> eval_ctx -> typed_value option * eval_ctx * (eval_result -> eval_result) |