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