mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00
Code Activity

remove prints

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2018-12-09 14:38:45 -08:00
parent bb69aa88fb
commit f2a7bcaf5d
1 changed files with 0 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/smt/theory_seq.cpp
View file

@ -3957,8 +3957,6 @@ app* theory_seq::mk_value(app* e) {
SASSERT(m_factory); SASSERT(m_factory);
expr_ref val(m); expr_ref val(m);
val = m_factory->get_some_value(m.get_sort(result)); val = m_factory->get_some_value(m.get_sort(result));
std::cout << "is-var " << result << "\n";
std::cout << "val " << val << "\n";
if (val) { if (val) {
result = val; result = val;
} }