mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 04:03:39 +00:00
Code Activity

obj_hashtable: Constify

Browse source
This commit is contained in:
Nicolas Braud-Santoni 2017-08-22 17:03:20 +00:00
parent 26afdd92c9
commit cb87d47f08
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/util/obj_hashtable.h
View file

@ -134,7 +134,7 @@ public:
return m_table.end(); return m_table.end();
} }
void insert(Key * k, Value const & v) { void insert(Key * const k, Value const & v) {
m_table.insert(key_data(k, v)); m_table.insert(key_data(k, v));
} }
@ -150,7 +150,7 @@ public:
return m_table.find_core(key_data(k)); return m_table.find_core(key_data(k));
} }
bool find(Key * k, Value & v) const { bool find(Key * const k, Value & v) const {
obj_map_entry * e = find_core(k); obj_map_entry * e = find_core(k);
if (e) { if (e) {
v = e->get_data().m_value; v = e->get_data().m_value;