diff options
Diffstat (limited to 'compiler/InterpreterStatements.mli')
| -rw-r--r-- | compiler/InterpreterStatements.mli | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/compiler/InterpreterStatements.mli b/compiler/InterpreterStatements.mli index c70396d6..443f559e 100644 --- a/compiler/InterpreterStatements.mli +++ b/compiler/InterpreterStatements.mli @@ -21,7 +21,9 @@ val pop_frame : Meta.span -> bool -> eval_ctx -> - typed_value option * eval_ctx * (eval_result -> eval_result) + typed_value option + * eval_ctx + * (SymbolicAst.expression -> SymbolicAst.expression) (** Helper. |