From e38505b0685ac99cdd2dc34360e53cf6bab63fa9 Mon Sep 17 00:00:00 2001
From: Julian Erhard <julian.erhard@tum.de>
Date: Wed, 28 Jun 2023 15:57:30 +0200
Subject: [PATCH] Change debug output from M.tracel to Pretty.printf to work
 with script.

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

diff --git a/src/incremental/compareCIL.ml b/src/incremental/compareCIL.ml
index 8d03107f68..464aefb83c 100644
--- 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;