diff options
Diffstat (limited to '')
| -rw-r--r-- | compiler/InterpreterPaths.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/InterpreterPaths.mli b/compiler/InterpreterPaths.mli index 86f0dcc0..3377f612 100644 --- a/compiler/InterpreterPaths.mli +++ b/compiler/InterpreterPaths.mli @@ -104,4 +104,4 @@ val prepare_lplace : Meta.span -> place -> eval_ctx -> - typed_value * eval_ctx * (eval_result -> eval_result) + typed_value * eval_ctx * (SymbolicAst.expression -> SymbolicAst.expression) |