From 997f9ae5bcb4729161019c719b068dc358ae6d86 Mon Sep 17 00:00:00 2001
From: Simmo Saan <simmo.saan@gmail.com>
Date: Thu, 11 May 2023 14:30:30 +0300
Subject: [PATCH] Fix witness tracing indentation

---
 src/witness/witness.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/witness/witness.ml b/src/witness/witness.ml
index 779f647dec..4a44e89265 100644
--- a/src/witness/witness.ml
+++ b/src/witness/witness.ml
@@ -258,7 +258,7 @@ let write_file filename (module Task:Task) (module TaskResult:WitnessTaskResult)
           ) edge_to_nodes
       end
       else
-        if M.tracing then M.traceu "witness" "iter_node %s\n" (N.to_string node);
+      if M.tracing then M.traceu "witness" "iter_node %s\n" (N.to_string node);
     end
   in