From d0ab508619f873fd15917716e11dc0690f5079e2 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Tue, 9 Jul 2019 17:02:05 -0700
Subject: [PATCH] full exploration in horner

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/nla_intervals.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/math/lp/nla_intervals.cpp b/src/math/lp/nla_intervals.cpp
index 38daa93ac..a51e878e7 100644
--- a/src/math/lp/nla_intervals.cpp
+++ b/src/math/lp/nla_intervals.cpp
@@ -90,6 +90,7 @@ bool intervals::check_interval_for_conflict_on_zero_upper(const interval & i) {
      svector<lp::constraint_index> expl;
      m_dep_manager.linearize(i.m_upper_dep, expl); 
      _().current_expl().add_expl(expl);
+     TRACE("nla_cn", print_lemma(tout););
      return true;
 }