From 5ad1647061aa3bb76ecfa2ac4d07befaebf92c6c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 22 Jun 2025 21:31:55 -0700
Subject: [PATCH] missing ;

---
 src/math/lp/lar_solver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 {