Change debug output from M.tracel to Pretty.printf to work with script.

goblint · Jun 28, 2023 · e38505b · e38505b
1 parent a8dfa07
commit e38505b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/incremental/compareCIL.ml b/src/incremental/compareCIL.ml
@@ -92,7 +92,7 @@ let performRenames (renamesOnSuccess: renamesOnSuccess) =
     let (compinfoRenames, enumRenames) = renamesOnSuccess in
     (* Reset cnames and ckeys to the old value. Only affects anonymous structs/unions where names are not checked for equality. *)
     List.iter (fun (compinfo2, compinfo1) ->
-        if tracing then Messages.tracel "performRenames" "compinfo2.cname: %s <- compinfo1.cname: %s; compinfo2.ckey: %d <- compinfo1.ckey: %d\n" compinfo2.cname compinfo1.cname compinfo2.ckey compinfo1.ckey;
+        ignore @@ Pretty.printf "compinfo2.cname: %s <- compinfo1.cname: %s; compinfo2.ckey: %d <- compinfo1.ckey: %d\n" compinfo2.cname compinfo1.cname compinfo2.ckey compinfo1.ckey;
         compinfo2.cname <- compinfo1.cname; compinfo2.ckey <- compinfo1.ckey)
       compinfoRenames;
     List.iter (fun (enum2, enum1) -> enum2.ename <- enum1.ename) enumRenames;