diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp
index b658176c0..14faba63c 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 {