From d4a88f1de6c5c8aed7315cce884ee23d80a40ca1 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Thu, 25 Jul 2019 10:41:25 -0700
Subject: [PATCH] fix the nla_exp division

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/nla_expr.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/lp/nla_expr.h b/src/math/lp/nla_expr.h
index 12e23d6d6..e9717f4d6 100644
--- a/src/math/lp/nla_expr.h
+++ b/src/math/lp/nla_expr.h
@@ -310,7 +310,7 @@ public:
             }
             return *this;
         }
-        if (is_var()) {
+        if (is_var() || children().size() == 1) {
             *this = scalar(T(1));
             return *this;
         }