From 860d90469934da236624b4e163703f21d44b4e25 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 11 May 2022 10:11:17 -0700
Subject: [PATCH] check zero

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/simplex/model_based_opt.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/math/simplex/model_based_opt.cpp b/src/math/simplex/model_based_opt.cpp
index 2420ab7f7..fbbe05801 100644
--- a/src/math/simplex/model_based_opt.cpp
+++ b/src/math/simplex/model_based_opt.cpp
@@ -490,7 +490,8 @@ namespace opt {
             return *this;
         rational D(abs(m_coeff));
         for (auto const& [id, coeff] : m_vars)
-            D = lcm(D, abs(coeff));
+            if (coeff != 0)
+                D = lcm(D, abs(coeff));
         if (D == 1)
             return *this;
         SASSERT(D > 0);