From fffbaa6e2d571343d2b8e49615d7de65d0783dc3 Mon Sep 17 00:00:00 2001 From: Son Ho Date: Mon, 29 Nov 2021 22:21:10 +0100 Subject: Improve formatting --- src/Interpreter.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/Interpreter.ml') 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 -- cgit v1.2.3