From 7f9d57e6faa3d712a6a72639d5b3510b885255ee Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Tue, 2 Jul 2019 17:19:02 -0700
Subject: [PATCH] fix out of memory problem

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

diff --git a/src/math/lp/horner.cpp b/src/math/lp/horner.cpp
index d96e87dd6..dda8efb6a 100644
--- a/src/math/lp/horner.cpp
+++ b/src/math/lp/horner.cpp
@@ -166,7 +166,8 @@ nex horner::split_with_var(const nex& e, lpvar j) {
     a.type() = expr_type::SUM;
     
     if (b.children().size() == 1) {
-        b = b.children()[0];      
+        nex t = b.children()[0];
+        b = t;      
     } else if (b.children().size() > 1) {
         b.type() = expr_type::SUM;
     }