From ca28b86eff85b9942d746d1b75e549a24833d11b Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nikolaj@cs.stanford.edu>
Date: Thu, 6 Aug 2026 14:50:32 -0700
Subject: [PATCH] Update dioph_eq.cpp

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

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();
         }