restore debug clang/gcc build

Z3Prover · Jan 4, 2023 · 380c701 · 380c701
1 parent 21362c0
commit 380c701
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/math/simplex/model_based_opt.cpp b/src/math/simplex/model_based_opt.cpp
@@ -1739,7 +1739,7 @@ namespace opt {
         for (unsigned i = 0; i < num_vars; ++i) {
             m_result.push_back(project(vars[i], compute_def));
             eliminate(vars[i], m_result.back());
-            TRACE("opt", display(tout << "After projecting: v" << vars[i] << "\n" << m_result << "\n"););
+            TRACE("opt", display(tout << "After projecting: v" << vars[i] << "\n"););
         }
         return m_result;
     }