From 18df6ce1fe2a4b83e1b1b3147ea48b5b7328d4f1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 3 Feb 2020 08:19:34 -0800
Subject: [PATCH] remove stdout print

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 714ba3b50..fc33ad1ce 100644
--- a/src/smt/theory_lra.cpp
+++ b/src/smt/theory_lra.cpp
@@ -469,7 +469,6 @@ class theory_lra::imp {
     }
 
     void found_unsupported(expr* n) {
-        std::cout << "unsupported: " <<  mk_pp(n, m) << "\n";
         ctx().push_trail(value_trail<context, expr*>(m_not_handled));
         m_not_handled = n;    
     }