diff options
| author | Son Ho | 2024-03-08 23:54:06 +0100 |
|---|---|---|
| committer | Son Ho | 2024-03-08 23:54:06 +0100 |
| commit | 39f7598a1dc26075899a4b9a53c30577ee699b02 (patch) | |
| tree | f307c3241889ad5b8d88df669e6a7dc6dbd768ca /compiler/Interpreter.ml | |
| parent | 8f1972dddbd25ff2153bdf3dabd743256fec03a4 (diff) | |
Fix some issues
Diffstat (limited to '')
| -rw-r--r-- | compiler/Interpreter.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/Interpreter.ml b/compiler/Interpreter.ml index 0634eed7..fd3e334b 100644 --- a/compiler/Interpreter.ml +++ b/compiler/Interpreter.ml @@ -358,6 +358,7 @@ let evaluate_function_symbolic_synthesize_backward_from_return (config : config) in if not inside_loop then (Some fun_abs_id, true) else + (* We are inside a loop *) let pred (abs : abs) = match abs.kind with | Loop (_, rg_id', kind) -> |