From 9d5ac304d51c2dd73a8f695ea825abed9e36de52 Mon Sep 17 00:00:00 2001
From: adam weishaupt <adam@fuckuplin>
Date: Thu, 26 Sep 2024 01:05:15 +0200
Subject: [PATCH] Remove dump function

---
 LLVMParser.cpp | 2 --
 1 file changed, 2 deletions(-)

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) {