From 68ace83893aed1302883903810a5a102d5c9bc6a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 10 Dec 2018 07:34:56 -0800 Subject: [PATCH] remove enable trace Signed-off-by: Nikolaj Bjorner --- 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 06e05315d..a26626224 100644 --- a/src/smt/theory_seq.cpp +++ b/src/smt/theory_seq.cpp @@ -3767,8 +3767,6 @@ void theory_seq::finalize_model(model_generator& mg) { } void theory_seq::init_model(model_generator & mg) { - enable_trace("seq"); - TRACE("seq", display(tout << "level: " << get_context().get_scope_level() << "\n");); m_rep.push_scope(); m_factory = alloc(seq_factory, get_manager(), get_family_id(), mg.get_model()); mg.register_factory(m_factory);