From 4683c3f241aecd778216496f6b2e540853b53bdd Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 15 Mar 2020 13:52:50 -0700
Subject: [PATCH] na

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

diff --git a/src/math/lp/emonics.cpp b/src/math/lp/emonics.cpp
index 2d080032a..e110c3092 100644
--- a/src/math/lp/emonics.cpp
+++ b/src/math/lp/emonics.cpp
@@ -197,8 +197,9 @@ void emonics::remove_cg_mon(const monic& m) {
     }
     else if (v[0] == u) {
         v.erase(u);
+        unsigned_vector vv(v);
         m_cg_table.remove(u);
-        m_cg_table.insert(v[0], v);
+        m_cg_table.insert(v[0], vv);
     }
     else {
         v.erase(u);