diff options
| author | Aymeric Fromherz | 2024-05-24 13:28:12 +0200 |
|---|---|---|
| committer | Aymeric Fromherz | 2024-05-24 13:28:35 +0200 |
| commit | b294639a5cbd2a51fc5bb5e55e0c386ee568ca8c (patch) | |
| tree | 9676957a458dde6e2141d11b060e9fa93f64b710 /compiler/InterpreterStatements.mli | |
| parent | 50dbeaeb018ab2cb44df3f557f1958eb15351f31 (diff) | |
Rename meta into span
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) |