diff --git a/src/library/scope.cpp b/src/library/scope.cpp
index 73b9fb4c3..6c7015e93 100644
--- a/src/library/scope.cpp
+++ b/src/library/scope.cpp
@@ -9,7 +9,7 @@ Author: Leonardo de Moura
 #include <vector>
 #include <algorithm>
 #include "util/list.h"
-#include "util/name_map.h"
+#include "util/name_hash_map.h"
 #include "kernel/replace_fn.h"
 #include "kernel/abstract.h"
 #include "kernel/type_checker.h"
@@ -41,8 +41,8 @@ struct decl_info {
     }
 };
 
-typedef name_map<decl_info>      decl_info_map;
-typedef name_map<level_info>     level_info_map;
+typedef name_hash_map<decl_info>      decl_info_map;
+typedef name_hash_map<level_info>     level_info_map;
 typedef std::unordered_set<name, name_hash, name_eq> name_hash_set;
 
 class abstraction_context_imp : public abstraction_context {
diff --git a/src/util/name_map.h b/src/util/name_hash_map.h
similarity index 72%
rename from src/util/name_map.h
rename to src/util/name_hash_map.h
index ac243abce..b6d3ec543 100644
--- a/src/util/name_map.h
+++ b/src/util/name_hash_map.h
@@ -8,5 +8,5 @@ Author: Leonardo de Moura
 #include <unordered_map>
 #include "util/name.h"
 namespace lean {
-template<typename T> using name_map = std::unordered_map<name, T, name_hash, name_eq>;
+template<typename T> using name_hash_map = std::unordered_map<name, T, name_hash, name_eq>;
 }