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());