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;