From 84520d53eaa6a9463dca864d4fb0b3f107347727 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 4 Aug 2023 11:33:39 -0700
Subject: [PATCH] remove out

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 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 4a090a798..afedc460a 100644
--- a/src/smt/theory_lra.cpp
+++ b/src/smt/theory_lra.cpp
@@ -1676,7 +1676,6 @@ public:
                 return FC_CONTINUE;
             case FC_GIVEUP:
                 TRACE("arith", tout << "check-nra giveup\n";);
-                verbose_stream() << "giveup nla\n";
                 st = FC_GIVEUP;
                 break;
             }