From f94abf6512168bcd4a46f1255406b11d81a1909f Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 22 Apr 2020 13:55:10 -0700
Subject: [PATCH] fix #3978

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 7c8435bcf..97c3f0e5c 100644
--- a/src/math/lp/emonics.cpp
+++ b/src/math/lp/emonics.cpp
@@ -200,9 +200,10 @@ void emonics::remove_cg_mon(const monic& m) {
     }
     else if (v[0] == u) {
         v.erase(u);
+        auto v0 = v[0];
         unsigned_vector vv(v);
         m_cg_table.remove(u);
-        m_cg_table.insert(v[0], vv);
+        m_cg_table.insert(v0, vv);
     }
     else {
         v.erase(u);