From b764c7bbeefd843480c5a9b877765ab242c50f74 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 15 Dec 2013 05:25:47 +0200 Subject: [PATCH] fixes to bugs exposed by regressions Signed-off-by: Nikolaj Bjorner --- src/smt/theory_pb.cpp | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/smt/theory_pb.cpp b/src/smt/theory_pb.cpp index 07e88a3a0..a05fc7270 100644 --- a/src/smt/theory_pb.cpp +++ b/src/smt/theory_pb.cpp @@ -1527,12 +1527,10 @@ namespace smt { }; void theory_pb::init_model(model_generator & m) { - std::cout << "init model\n"; m.register_factory(alloc(pb_factory, get_manager(), get_id())); } model_value_proc * theory_pb::mk_value(enode * n, model_generator & mg) { - std::cout << "mk-value " << mk_pp(n->get_owner(), get_manager()) << "\n"; context& ctx = get_context(); app* a = n->get_owner(); pb_model_value_proc* p = alloc(pb_model_value_proc, a);