From a6a5985f8ecc42bd8fffc40b97557a79489666ac Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 13 Sep 2022 17:19:48 -0700 Subject: [PATCH] fix #6341 Signed-off-by: Nikolaj Bjorner --- src/math/lp/nla_grobner.cpp | 17 +++++++++++------ 1 file changed, 11 insertions(+), 6 deletions(-) diff --git a/src/math/lp/nla_grobner.cpp b/src/math/lp/nla_grobner.cpp index 51604fb47..974c48d14 100644 --- a/src/math/lp/nla_grobner.cpp +++ b/src/math/lp/nla_grobner.cpp @@ -45,14 +45,19 @@ namespace nla { if (is_conflicting()) return; - if (propagate_bounds()) - return; + try { + if (propagate_bounds()) + return; - if (propagate_eqs()) - return; + if (propagate_eqs()) + return; - if (propagate_factorization()) - return; + if (propagate_factorization()) + return; + } + catch (...) { + + } if (quota > 1) quota--;