Remove dump function

pgarba · Sep 25, 2024 · 9d5ac30 · 9d5ac30
1 parent ad88f63
commit 9d5ac30
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/LLVMParser.cpp b/LLVMParser.cpp
@@ -1988,8 +1988,6 @@ z3::expr LLVMParser::getOptimizedZ3Expression(
   // Now optimize
   optimizeFunction(*F);
 
-  F->dump();
-
   // check if proved
   Proved = false;
   if (F->getEntryBlock().size() == 1) {