diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp
index 3f5bd862c0..c46d078951 100644
--- a/src/math/lp/dioph_eq.cpp
+++ b/src/math/lp/dioph_eq.cpp
@@ -91,7 +91,7 @@ namespace lp {
 
         unsigned size() const { return static_cast<unsigned>(m_map.size()); }
 
-        void clear() {
+        void clear() {          
             m_map.clear();
             m_rev_map.clear();
         }