From 12ccf59ab99101435d0298e3111ac70f53fe8bbf Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 23 Apr 2025 17:06:15 -0700
Subject: [PATCH] rename fields to compile on c++ platforms

---
 src/math/lp/lar_solver.h | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/math/lp/lar_solver.h b/src/math/lp/lar_solver.h
index 15c4facc6..cdccbe52d 100644
--- a/src/math/lp/lar_solver.h
+++ b/src/math/lp/lar_solver.h
@@ -74,10 +74,10 @@ class lar_solver : public column_namer {
     };
 
     struct column_update {
-        bool is_upper;
-        unsigned j;
-        impq bound;
-        column column;
+        bool m_is_upper;
+        unsigned m_j;
+        impq m_bound;
+        column m_column;
     };
     struct column_update_trail;