diff --git a/src/math/polysat/solver.h b/src/math/polysat/solver.h
index 8093b4fbf..e62bdee6a 100644
--- a/src/math/polysat/solver.h
+++ b/src/math/polysat/solver.h
@@ -40,9 +40,9 @@ Author:
 namespace polysat {
 
     struct config {
-        uint64_t                 m_max_conflicts = std::numeric_limits<uint64_t>::max();
-        uint64_t                 m_max_decisions = std::numeric_limits<uint64_t>::max();
-        bool                     m_log_conflicts = false;
+        uint64_t    m_max_conflicts = std::numeric_limits<uint64_t>::max();
+        uint64_t    m_max_decisions = std::numeric_limits<uint64_t>::max();
+        bool        m_log_conflicts = false;
     };
 
     class solver {