From a579ce1ea2ad517449b34d8630293e491ca46333 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 10 Feb 2020 08:33:14 -0800
Subject: [PATCH] fix #2966

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/qe/qe_sat_tactic.cpp | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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() {