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

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

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