diff options
Diffstat (limited to 'compiler/InterpreterLoops.mli')
| -rw-r--r-- | compiler/InterpreterLoops.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/InterpreterLoops.mli b/compiler/InterpreterLoops.mli index 630e1e12..567250af 100644 --- a/compiler/InterpreterLoops.mli +++ b/compiler/InterpreterLoops.mli @@ -65,4 +65,4 @@ open Meta The `stl_cm_fun` required as input must be the function to evaluate the loop body (i.e., `eval_statement` applied to the loop body). *) -val eval_loop : config -> meta -> stl_cm_fun -> stl_cm_fun +val eval_loop : config -> span -> stl_cm_fun -> stl_cm_fun |