mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-03 22:06:11 +00:00
Code Activity

Fix more inadvertent formatting changes.

Browse source
This commit is contained in:
David Detlefs 2026-06-18 19:40:53 -07:00
parent d6d0d4e45a
commit 9a0272528a
3 changed files with 9 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/util/map.h
View file

@ -115,7 +115,7 @@ public:
}
entry * find_core(key const & k) const {
return m_table.find_core(key_data{k, value{}});
return m_table.find_core(key_data{k, value{}});
}
bool find(key const & k, value & v) const {
@ -164,7 +164,7 @@ public:
void remove(key const & k) {
m_table.remove(key_data{k, value{}});
}
void erase(key const & k) {
remove(k);
}
@ -184,7 +184,7 @@ public:
}
return true;
}
#ifdef Z3DEBUG
bool check_invariant() {