From bf5b06285bac45f6a5a39a43c703f2138fd502b9 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Wed, 21 Aug 2019 15:18:45 -0700 Subject: [PATCH] fix the build Signed-off-by: Lev Nachmanson --- src/math/lp/horner.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/lp/horner.cpp b/src/math/lp/horner.cpp index 615b43905..7c2256929 100644 --- a/src/math/lp/horner.cpp +++ b/src/math/lp/horner.cpp @@ -360,7 +360,7 @@ bool horner::interval_from_term(const nex* e, interv & i) const { lp::explanation exp; if (c().explain_by_equiv(norm_t, exp)) { m_intervals.set_zero_interval_with_explanation(i, exp); - TRACE("nla_horner", tout << "explain_by_equiv\n"); + TRACE("nla_horner", tout << "explain_by_equiv\n";); return true; } lpvar j = find_term_column(norm_t, a);