From 380c701cbe1a16380bf462e5d6ad5d97ebde28c7 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 4 Jan 2023 15:01:40 -0800
Subject: [PATCH] restore debug clang/gcc build

---
 src/math/simplex/model_based_opt.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/simplex/model_based_opt.cpp b/src/math/simplex/model_based_opt.cpp
index f53ab6f8f..3c38cfb0e 100644
--- 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;
     }