diff options
Diffstat (limited to 'compiler/Interpreter.ml')
| -rw-r--r-- | compiler/Interpreter.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/Interpreter.ml b/compiler/Interpreter.ml index dd0051f6..f47c6226 100644 --- a/compiler/Interpreter.ml +++ b/compiler/Interpreter.ml @@ -142,6 +142,8 @@ let evaluate_function_symbolic_synthesize_backward_from_return ^ T.RegionGroupId.to_string back_id ^ "\n- loop_id: " ^ Print.option_to_string V.LoopId.to_string loop_id + ^ "\n- is_regular_return: " + ^ Print.bool_to_string is_regular_return ^ "\n- inside_loop: " ^ Print.bool_to_string inside_loop ^ "\n- ctx:\n" |