diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp
index ce5156c42..14faba63c 100644
--- a/src/math/lp/lar_solver.cpp
+++ b/src/math/lp/lar_solver.cpp
@@ -231,7 +231,6 @@ namespace lp {
     lar_solver::~lar_solver() {
         for (auto t : m_imp->m_terms)
             delete t;
-        m_imp->m_var_register.clear();
         dealloc(m_imp);
     }