From 592791ba3499f8f3933b7cf6d847eba5e0c7dc0a Mon Sep 17 00:00:00 2001 From: Clemens Eisenhofer Date: Wed, 7 Dec 2022 16:55:30 +0100 Subject: [PATCH] continue instead of return --- src/math/polysat/variable_elimination.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/polysat/variable_elimination.cpp b/src/math/polysat/variable_elimination.cpp index e634d4ddb..f64772caf 100644 --- a/src/math/polysat/variable_elimination.cpp +++ b/src/math/polysat/variable_elimination.cpp @@ -330,7 +330,7 @@ namespace polysat { LOG("lcs: " << fac_eval); pdd fac_eval_inv = m.zero(); if (!inv(fac_eval, fac_eval_inv)) - return; + continue; pdd const rest_eval = sub.apply_to(rest); pdd const vs = -rest_eval * fac_eval_inv; // this is the polynomial that computes v