From dcacf6fbca31571828d31db9aaf0835ff3eab4f1 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 2 Jun 2014 14:34:22 -0700
Subject: [PATCH] refactor(util): rename name_map to name_hash_map

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/library/scope.cpp                    | 6 +++---
 src/util/{name_map.h => name_hash_map.h} | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)
 rename src/util/{name_map.h => name_hash_map.h} (72%)

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>;
 }