From 8cb118235aa94588012510483327d03cf3f826b0 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 30 Aug 2022 09:43:10 -0700 Subject: [PATCH] add missing status case for cancelation --- src/math/lp/lp_settings_def.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/math/lp/lp_settings_def.h b/src/math/lp/lp_settings_def.h index 2aba35946..58b37a19d 100644 --- a/src/math/lp/lp_settings_def.h +++ b/src/math/lp/lp_settings_def.h @@ -49,6 +49,7 @@ const char* lp_status_to_string(lp_status status) { case lp_status::TIME_EXHAUSTED: return "TIME_EXHAUSTED"; case lp_status::EMPTY: return "EMPTY"; case lp_status::UNSTABLE: return "UNSTABLE"; + case lp_status::CANCELLED: return "CANCELLED"; default: lp_unreachable(); }