removed debug print

emsec · Jul 19, 2024 · 23cd8b7 · 23cd8b7
1 parent c1c8f8c
commit 23cd8b7
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/plugins/z3_utils/src/simplification.cpp b/plugins/z3_utils/src/simplification.cpp
@@ -2019,8 +2019,6 @@ namespace hal
     {
         Result<z3::expr> simplify_local(const z3::expr& e, std::unordered_map<u32, z3::expr>& cache, const bool check_correctness)
         {
-            std::cout << "start simplification" << std::endl;
-
             const u32 max_loop_iterations = 128;
             u32 iteration                 = 0;