diff --git a/src/qe/qe_sat_tactic.cpp b/src/qe/qe_sat_tactic.cpp
index 87c146819..fd9a08ae4 100644
--- a/src/qe/qe_sat_tactic.cpp
+++ b/src/qe/qe_sat_tactic.cpp
@@ -652,9 +652,7 @@ namespace qe {
             m_rewriter(tmp);
             m_Ms[idx] = tmp;
             m_solvers[idx]->assert_expr(not_fml);            
-            TRACE("qe", 
-                  tout << fml << "\n--->\n";
-                  tout << tmp << "\n";);
+            TRACE("qe", tout << fml << "\n--->\n" << tmp << "\n";);
         }
 
         void checkpoint() {