Fix witness tracing indentation

goblint · May 11, 2023 · 997f9ae · 997f9ae
1 parent 3e72ba0
commit 997f9ae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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