From 4928c28e63e0d3844ed08f4d6dc3bdc3c344856b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 19 Nov 2021 08:42:32 -0800
Subject: [PATCH] fix #5675
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
src/smt/theory_lra.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp
index 4931c9900..e89508b1c 100644
--- a/src/smt/theory_lra.cpp
+++ b/src/smt/theory_lra.cpp
@@ -3477,7 +3477,7 @@ public:
st = lp::lp_status::FEASIBLE;
lp().restore_x();
}
- if (m_nla && st == lp::lp_status::OPTIMAL) {
+ if (m_nla && (st == lp::lp_status::OPTIMAL || st == lp::lp_status::UNBOUNDED)) {
st = lp::lp_status::FEASIBLE;
lp().restore_x();
}