From f2a7bcaf5d433fec269ac7a8d144bb5d1c40d1ea Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 9 Dec 2018 14:38:45 -0800
Subject: [PATCH] remove prints
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
src/smt/theory_seq.cpp | 2 --
1 file changed, 2 deletions(-)
diff --git a/src/smt/theory_seq.cpp b/src/smt/theory_seq.cpp
index 5a2225aa1..06e05315d 100644
--- a/src/smt/theory_seq.cpp
+++ b/src/smt/theory_seq.cpp
@@ -3957,8 +3957,6 @@ app* theory_seq::mk_value(app* e) {
SASSERT(m_factory);
expr_ref val(m);
val = m_factory->get_some_value(m.get_sort(result));
- std::cout << "is-var " << result << "\n";
- std::cout << "val " << val << "\n";
if (val) {
result = val;
}