From afadf2b1e17aa4fa4384fc22d71b29d62be7b5e6 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 8 May 2017 14:30:38 -0700
Subject: [PATCH] feat(library/phash_map): add name_hash_map

---
 src/library/phash_map.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/library/phash_map.h b/src/library/phash_map.h
index bf372bdd0e..5c8d85a628 100644
--- a/src/library/phash_map.h
+++ b/src/library/phash_map.h
@@ -6,6 +6,7 @@ Author: Leonardo de Moura
 */
 #pragma once
 #include "util/bit_tricks.h"
+#include "util/name.h"
 #include "library/phashtable.h"
 
 namespace lean {
@@ -116,4 +117,7 @@ public:
         phashtable2map<default_map_entry<Key, Value>, HashProc, EqProc, ThreadSafe>(h, e) {
     }
 };
+
+template<typename T>
+using name_hash_map = phash_map<name, T, name_hash, name_eq, true>;
 }