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;