diff options
| author | Son Ho | 2023-08-02 18:28:08 +0200 |
|---|---|---|
| committer | Son Ho | 2023-08-02 18:28:08 +0200 |
| commit | 10822d76c7b45b9566f8e2b458107ac8b0eac60e (patch) | |
| tree | 86c06d827b188171939c9e423bea5b4f892e3828 /compiler/Interpreter.ml | |
| parent | f6b4aade7b4a60ed589440af042b44c65c9fcb92 (diff) | |
Make minor modifications
Diffstat (limited to '')
| -rw-r--r-- | compiler/Interpreter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Interpreter.ml b/compiler/Interpreter.ml index dc2bb700..449463c8 100644 --- a/compiler/Interpreter.ml +++ b/compiler/Interpreter.ml @@ -157,7 +157,7 @@ let evaluate_function_symbolic_synthesize_backward_from_return ^ "\n- inside_loop: " ^ Print.bool_to_string inside_loop ^ "\n- ctx:\n" - ^ Print.Contexts.eval_ctx_to_string_gen true true ctx)); + ^ Print.Contexts.eval_ctx_to_string ctx)); (* We need to instantiate the function signature - to retrieve * the return type. Note that it is important to re-generate * an instantiation of the signature, so that we use fresh |