summaryrefslogtreecommitdiff
path: root/src/Interpreter.ml
diff options
context:
space:
mode:
authorSon Ho2021-11-29 22:21:10 +0100
committerSon Ho2021-11-29 22:21:10 +0100
commitfffbaa6e2d571343d2b8e49615d7de65d0783dc3 (patch)
treec2ad99c8f7989c3113b3c4b3258a66e472dc0ca0 /src/Interpreter.ml
parent111af7db1d5dbc245bc72864c3577b6bcabcb3d7 (diff)
Improve formatting
Diffstat (limited to 'src/Interpreter.ml')
-rw-r--r--src/Interpreter.ml4
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