From 3224febd0e1468cc273baaf29868b5df4556e1af Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 13 Mar 2020 18:24:06 -0700
Subject: [PATCH] remove double shrink

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

diff --git a/src/math/lp/emonics.cpp b/src/math/lp/emonics.cpp
index a89201129..e46298496 100644
--- a/src/math/lp/emonics.cpp
+++ b/src/math/lp/emonics.cpp
@@ -61,7 +61,6 @@ void emonics::pop(unsigned n) {
         }
     }
     m_monics.shrink(old_sz);
-    m_monics.shrink(old_sz);
     m_region.pop_scope(n);
     m_lim.shrink(m_lim.size() - n);
     SASSERT(consistent());