From 6e5639f79dfc671146427454f7f4d1ab7c4d90af Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Fri, 19 Jun 2026 07:51:19 -0700 Subject: [PATCH] add an assert Signed-off-by: Lev Nachmanson --- src/math/lp/lp_settings.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/math/lp/lp_settings.cpp b/src/math/lp/lp_settings.cpp index 6e9f2694b..3b1cf14aa 100644 --- a/src/math/lp/lp_settings.cpp +++ b/src/math/lp/lp_settings.cpp @@ -47,8 +47,7 @@ void lp::lp_settings::updt_params(params_ref const& _p) { m_lcube = lp_p.lcube(); m_lcube_flips = lp_p.lcube_flips(); unsigned hammer_period = lp_p.int_hammer_period(); - if (hammer_period == 0) - hammer_period = 1; + SASSERT(hammer_period != 0); m_int_find_cube_period = hammer_period; m_int_gomory_cut_period = hammer_period; m_hnf_cut_period = hammer_period;