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