mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-14 21:08:46 +00:00
Code Activity

typename conventions, issue #664

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2016-06-29 17:02:36 -07:00
parent fd95a9e061
commit e518d4a5fe
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/util/hashtable.h
View file

@ -581,7 +581,7 @@ public:
core_hashtable& operator=(core_hashtable const& other) { core_hashtable& operator=(core_hashtable const& other) {
if (this == &other) return *this; if (this == &other) return *this;
reset(); reset();
core_hashtable::iterator i = other.begin(), e = other.end(); iterator i = other.begin(), e = other.end();
for (; i != e; ++i) { for (; i != e; ++i) {
insert(*i); insert(*i);
} }