From 83662701b688000e94b71919626e0298d8165e1d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 22 Jan 2023 16:27:48 -0800
Subject: [PATCH] Update theory_lra.cpp

remove spurious output
---
 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 1b1e0a195..500e0307c 100644
--- a/src/smt/theory_lra.cpp
+++ b/src/smt/theory_lra.cpp
@@ -1584,7 +1584,6 @@ public:
         if (!get_value(n, valn))
             return FC_GIVEUP;
 
-        verbose_stream() << valx << " " << valy << " " << valn << "\n";
         // TBD - check that values align so return FC_DONE.
 
         if (valn < 0 && valx > 0 && valy > 0) {