From a3e2e68d93dcb4f2891e779fbe4419cc00db2b5e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 23 Sep 2023 16:26:31 -0700
Subject: [PATCH] Update theory_lra.cpp

---
 src/smt/theory_lra.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp
index 8bf17ec4d..21e021ea7 100644
--- a/src/smt/theory_lra.cpp
+++ b/src/smt/theory_lra.cpp
@@ -1480,7 +1480,6 @@ public:
         m_model_eqs.reset();
         svector<lpvar> vars;
         theory_var sz = static_cast<theory_var>(th.get_num_vars());
-        verbose_stream() << "check " << sz << "\n";
         for (theory_var v = 0; v < sz; ++v) {
             enode * n1 = get_enode(v);
             if (!th.is_relevant_and_shared(n1)) {