diff --git a/smt-log-parser/src/parsers/z3/inst_graph.rs b/smt-log-parser/src/parsers/z3/inst_graph.rs
index 258f52ed..866918d6 100644
--- a/smt-log-parser/src/parsers/z3/inst_graph.rs
+++ b/smt-log-parser/src/parsers/z3/inst_graph.rs
@@ -117,15 +117,15 @@ impl InstGraph {
                 self.indirect_edges_of_hidden_node
                     .insert(*node, vec![indirect_edge]);
             }
-            log!(
-                "Adding edge ",
-                pred.index(),
-                succ.index(),
-                " with index ",
-                indirect_edge.index(),
-                "to the indirect edges for node ",
-                node.index()
-            );
+            // log!(
+            //     "Adding edge ",
+            //     pred.index(),
+            //     succ.index(),
+            //     " with index ",
+            //     indirect_edge.index(),
+            //     "to the indirect edges for node ",
+            //     node.index()
+            // );
         }
     }