From 8b0659e6cd342ae40b676781b5e819d5fd2b3af7 Mon Sep 17 00:00:00 2001
From: Tim King <taking@cs.nyu.edu>
Date: Thu, 20 Jul 2017 17:04:30 -0700
Subject: Moving from the gnu extensions for hash maps to the c++11 hash maps

* Replacing __gnu_cxx::hash_map with std::unordered_map.
* Replacing __gnu_cxx::hash_set with std::unordered_set.
* Replacing __gnu_cxx::hash with std::hash.
* Adding missing includes.
---
 test/unit/theory/type_enumerator_white.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'test/unit')

diff --git a/test/unit/theory/type_enumerator_white.h b/test/unit/theory/type_enumerator_white.h
index 3094345bd..af1d9ab48 100644
--- a/test/unit/theory/type_enumerator_white.h
+++ b/test/unit/theory/type_enumerator_white.h
@@ -17,6 +17,8 @@
 
 #include <cxxtest/TestSuite.h>
 
+#include <unordered_set>
+
 #include "expr/array_store_all.h"
 #include "expr/expr_manager.h"
 #include "expr/kind.h"
@@ -252,7 +254,7 @@ std::cout<<"here\n";
 
   void testArraysInfinite() {
     TypeEnumerator te(d_nm->mkArrayType(d_nm->integerType(), d_nm->integerType()));
-    hash_set<Node, NodeHashFunction> elts;
+    unordered_set<Node, NodeHashFunction> elts;
     for(size_t i = 0; i < 1000; ++i) {
       TS_ASSERT( ! te.isFinished() );
       Node elt = *te++;
-- 
cgit v1.2.3