From b51251f394aefc962fb6fe71d5849a26859ef142 Mon Sep 17 00:00:00 2001
From: Arie Gurfinkel <arie.gurfinkel@uwaterloo.ca>
Date: Tue, 15 May 2018 08:30:35 -0700
Subject: [PATCH] Move tout under TRACE

---
 src/muz/spacer/spacer_quant_generalizer.cpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/muz/spacer/spacer_quant_generalizer.cpp b/src/muz/spacer/spacer_quant_generalizer.cpp
index cf056271d..3dace0cdd 100644
--- a/src/muz/spacer/spacer_quant_generalizer.cpp
+++ b/src/muz/spacer/spacer_quant_generalizer.cpp
@@ -496,8 +496,9 @@ bool lemma_quantifier_generalizer::generalize (lemma_ref &lemma, app *term) {
 
     if (stride > 1 && m_arith.is_numeral(constant, init)) {
         unsigned mod = init.get_unsigned() % stride;
-        TRACE("spacer_qgen", tout << "mod=" << mod << " init=" << init << " stride=" << stride << "\n";);
-        tout.flush();
+        TRACE("spacer_qgen",
+              tout << "mod=" << mod << " init=" << init << " stride=" << stride << "\n";
+              tout.flush(););
         abs_cube.push_back(m.mk_eq(
                 m_arith.mk_mod(var, m_arith.mk_numeral(rational(stride), true)),
                 m_arith.mk_numeral(rational(mod), true)));