From e736a73d835a4ddebe4d7624f5ce4a57a6e12ce8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 23 Jan 2026 20:47:16 -0800
Subject: [PATCH] reorganize top-level loop

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/lp/nla_stellensatz2.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/math/lp/nla_stellensatz2.cpp b/src/math/lp/nla_stellensatz2.cpp
index 62afba717..d25c8bf36 100644
--- a/src/math/lp/nla_stellensatz2.cpp
+++ b/src/math/lp/nla_stellensatz2.cpp
@@ -106,6 +106,7 @@ namespace nla {
         case l_true:
             if (set_model())
                 return l_true;
+            r = l_undef;
             break;
         default: 
             break;