diff options
| -rw-r--r-- | include/Support/hash_map | 2 | ||||
| -rw-r--r-- | include/Support/hash_set | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/include/Support/hash_map b/include/Support/hash_map index b52474735f..68ee596a85 100644 --- a/include/Support/hash_map +++ b/include/Support/hash_map @@ -39,4 +39,6 @@ using HASH_NAMESPACE::hash_map; using HASH_NAMESPACE::hash; +#include <Support/HashExtras.h> + #endif diff --git a/include/Support/hash_set b/include/Support/hash_set index 5eb3f24c34..4bd91ab241 100644 --- a/include/Support/hash_set +++ b/include/Support/hash_set @@ -39,5 +39,7 @@ using HASH_NAMESPACE::hash_set; using HASH_NAMESPACE::hash; +#include <Support/HashExtras.h> + #endif |