From 5e54cb6693957ac260ce16f5b7aeb43e6926a193 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Fri, 10 Oct 2025 14:56:09 -0700
Subject: [PATCH] add a guard on m_fail

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/nlsat/levelwise.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/nlsat/levelwise.cpp b/src/nlsat/levelwise.cpp
index d6a112a5b..f6e703815 100644
--- a/src/nlsat/levelwise.cpp
+++ b/src/nlsat/levelwise.cpp
@@ -863,7 +863,7 @@ or
             SASSERT(m_E.size() == 0);
             apply_property_rules(prop_enum::_count); // reduce the level by one to be consumed by construct_interval
             while (-- m_level > 0)
-                if (!construct_interval())
+                if (m_fail || !construct_interval())
                     return std::vector<root_function_interval>(); // return empty
                        
             return m_I; // the order of intervals is reversed