diff options
author | Son Ho | 2024-03-08 18:03:47 +0100 |
---|---|---|
committer | Son Ho | 2024-03-08 18:03:47 +0100 |
commit | eb9844a06f3da5ffec989d9e42cc7776d0c026db (patch) | |
tree | 9059ac72a404ada35004f4805c27c7b5073b87e6 /compiler/InterpreterLoops.ml | |
parent | 7733752dd8c153c48263609087794f5199ef37d2 (diff) |
Fix a small issue with the loops
Diffstat (limited to '')
-rw-r--r-- | compiler/InterpreterLoops.ml | 4 |
1 files changed, 2 insertions, 2 deletions
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 |