diff --git a/LLVMParser.cpp b/LLVMParser.cpp
index 50bc73b..766bb84 100644
--- 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) {