From eb9844a06f3da5ffec989d9e42cc7776d0c026db Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 8 Mar 2024 18:03:47 +0100
Subject: Fix a small issue with the loops

---
 compiler/InterpreterLoops.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'compiler/InterpreterLoops.ml')

diff --git a/compiler/InterpreterLoops.ml b/compiler/InterpreterLoops.ml
index 20f0191f..5f217983 100644
--- a/compiler/InterpreterLoops.ml
+++ b/compiler/InterpreterLoops.ml
@@ -97,8 +97,8 @@ let eval_loop_symbolic (config : config) (meta : meta)
     log#ldebug
       (lazy
         ("eval_loop_symbolic: about to reorganize the original context to \
-          match  the fixed-point ctx with it:\n\
-          - src ctx (fixed-point ctx)" ^ eval_ctx_to_string fp_ctx
+          match the fixed-point ctx with it:\n\
+          - src ctx (fixed-point ctx):\n" ^ eval_ctx_to_string fp_ctx
        ^ "\n\n-tgt ctx (original context):\n" ^ eval_ctx_to_string ctx));
 
     prepare_match_ctx_with_target config loop_id fixed_ids fp_ctx cf ctx
-- 
cgit v1.2.3