From 6393ed78d7434e6be1a0a372d5110cba532979b0 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 23 Oct 2022 11:05:33 -0700
Subject: [PATCH] remove useless log

---
 src/sat/tactic/goal2sat.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/sat/tactic/goal2sat.cpp b/src/sat/tactic/goal2sat.cpp
index a2d94652c..c819403d7 100644
--- a/src/sat/tactic/goal2sat.cpp
+++ b/src/sat/tactic/goal2sat.cpp
@@ -509,7 +509,6 @@ struct goal2sat::imp : public sat::sat_internalizer {
             
             m_result_stack.shrink(old_sz);
             m_result_stack.push_back(l);
-            TRACE("goal2sat", tout << m_result_stack << "\n";);
         }
     }