mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-27 02:45:51 +00:00
Code Activity

rename fields to compile on c++ platforms

Browse source
This commit is contained in:
Nikolaj Bjorner 2025-04-23 17:06:15 -07:00
parent e41acd7b50
commit 12ccf59ab9
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/math/lp/lar_solver.h
View file

@ -74,10 +74,10 @@ class lar_solver : public column_namer {
}; };
struct column_update { struct column_update {
bool is_upper; bool m_is_upper;
unsigned j; unsigned m_j;
impq bound; impq m_bound;
column column; column m_column;
}; };
struct column_update_trail; struct column_update_trail;