diff options
Diffstat (limited to 'compiler/Interpreter.ml')
| -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) -> |