mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 17:15:31 +00:00
Code Activity

use obj_ref_map

Browse source
This commit is contained in:
Thai Trinh 2017-12-08 18:36:20 +08:00
parent 9ea01d521a
commit 3a5c30bd9b
3 changed files with 6 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/util/obj_ref_hashtable.h
View file

@ -26,7 +26,7 @@ class obj_ref_map {
M& m;
obj_map<Key, Value> m_table;
public:
typedef typename obj_map<Key, Value> iterator;
typedef typename obj_map<Key, Value>::iterator iterator;
typedef Key key;
typedef Value value;
typedef typename obj_map<Key, Value>::key_data key_data;