diff options
author | Son Ho | 2021-11-29 22:21:10 +0100 |
---|---|---|
committer | Son Ho | 2021-11-29 22:21:10 +0100 |
commit | fffbaa6e2d571343d2b8e49615d7de65d0783dc3 (patch) | |
tree | c2ad99c8f7989c3113b3c4b3258a66e472dc0ca0 /src/Interpreter.ml | |
parent | 111af7db1d5dbc245bc72864c3577b6bcabcb3d7 (diff) |
Improve formatting
Diffstat (limited to 'src/Interpreter.ml')
-rw-r--r-- | src/Interpreter.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Interpreter.ml b/src/Interpreter.ml index a49b2f3f..38da6c25 100644 --- a/src/Interpreter.ml +++ b/src/Interpreter.ml @@ -2146,7 +2146,7 @@ let rec eval_statement (config : C.config) (ctx : C.eval_ctx) (st : A.statement) L.log#ldebug (lazy ("\n" ^ eval_ctx_to_string ctx ^ "\nAbout to evaluate statement: " - ^ statement_to_string ctx st)); + ^ statement_to_string ctx st ^ "\n")); (* Evaluate *) match st with | A.Assign (p, rvalue) -> ( @@ -2275,7 +2275,7 @@ and eval_expression (config : C.config) (ctx : C.eval_ctx) (e : A.expression) : L.log#ldebug (lazy ("\n" ^ eval_ctx_to_string ctx ^ "\nAbout to evaluate expression: \n" - ^ expression_to_string ctx e)); + ^ expression_to_string ctx e ^ "\n")); (* Evaluate *) match e with | A.Statement st -> eval_statement config ctx st |