From e518d4a5fe3b824d5e9deb3d16eb1faa248a52d8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 29 Jun 2016 17:02:36 -0700
Subject: [PATCH] typename conventions, issue #664
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
src/util/hashtable.h | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/util/hashtable.h b/src/util/hashtable.h
index fe51963e0..fbf36242b 100644
--- a/src/util/hashtable.h
+++ b/src/util/hashtable.h
@@ -581,7 +581,7 @@ public:
core_hashtable& operator=(core_hashtable const& other) {
if (this == &other) return *this;
reset();
- core_hashtable::iterator i = other.begin(), e = other.end();
+ iterator i = other.begin(), e = other.end();
for (; i != e; ++i) {
insert(*i);
}