From 5c949d74d8a97da220bf80136428ee5ddb88b666 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Mon, 8 Apr 2019 15:19:50 -0700
Subject: [PATCH] add an assert in add_abs_bound

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/util/lp/nla_solver.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/util/lp/nla_solver.cpp b/src/util/lp/nla_solver.cpp
index 83975262c..f55c8992c 100644
--- a/src/util/lp/nla_solver.cpp
+++ b/src/util/lp/nla_solver.cpp
@@ -2902,6 +2902,7 @@ struct solver::imp {
     }
 
     void add_abs_bound(lpvar v, llc cmp, rational const& bound) {
+        SASSERT(!vvr(v).is_zero());
         lp::lar_term t;  // t = abs(v)
         t.add_coeff_var(rrat_sign(vvr(v)), v);