diff --git a/src/math/lp/lar_constraints.h b/src/math/lp/lar_constraints.h
index b5e679e7e..f0c937324 100644
--- a/src/math/lp/lar_constraints.h
+++ b/src/math/lp/lar_constraints.h
@@ -136,9 +136,10 @@ class constraint_set {
     }
 
 public:
-    constraint_set(u_dependency_manager& d, column_namer& cn): 
+    constraint_set(u_dependency_manager& d, column_namer& cn):
         m_namer(cn),
-        m_dep_manager(d) {}
+        m_dep_manager(d)
+    {}
 
     ~constraint_set() {
         for (auto* c : m_constraints)