From f59ffc2986b8deb11f2cf5809bc077030da31dd6 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Tue, 3 Jul 2018 09:46:33 -0700 Subject: [PATCH] remove tracing arith from theory_lra.cpp Signed-off-by: Lev Nachmanson --- 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 af7bdaebf..6b8d7a47d 100644 --- a/src/smt/theory_lra.cpp +++ b/src/smt/theory_lra.cpp @@ -1521,7 +1521,6 @@ public: } void propagate() { - enable_trace("arith"); flush_bound_axioms(); if (!can_propagate()) { return;