From 8980aff7f32c11da1b020f4554132146a1c5b61d Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Sun, 12 Jan 2020 15:31:56 -0800
Subject: [PATCH] fix the build

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/nex_creator.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/math/lp/nex_creator.cpp b/src/math/lp/nex_creator.cpp
index 8e38a34ad..c1b62e740 100644
--- a/src/math/lp/nex_creator.cpp
+++ b/src/math/lp/nex_creator.cpp
@@ -531,7 +531,6 @@ nex * nex_creator::mk_div_mul_by_mul(const nex_mul& a, const nex_mul& b) {
 }
 
 nex * nex_creator::mk_div_by_mul(const nex& a, const nex_mul& b) {
-    SASSERT(have_no_scalars(b));
     SASSERT(!a.is_var() || (b.get_degree() == 1 && get_vars_of_expr(&a) == get_vars_of_expr(&b) && b.coeff().is_one()));
     if (a.is_sum()) {
         return mk_div_sum_by_mul(a.to_sum(), b);