diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp
index 14faba63c..b658176c0 100644
--- a/src/math/lp/lar_solver.cpp
+++ b/src/math/lp/lar_solver.cpp
@@ -32,7 +32,7 @@ namespace lp {
                 }
                 return seed;
             }
-        };
+        }
 
         struct term_comparer {
             bool operator()(const lar_term& a, const lar_term& b) const {