Removing references to __gnu_cxx. (#1541)

diff --git a/src/context/cdhashset_forward.h b/src/context/cdhashset_forward.h
index ed665ce1b7635213848e56ff5af0fd29e9c27869..426f8917db38603247d5ef721ea475b5e49bf1e8 100644 (file)
--- a/src/context/cdhashset_forward.h
+++ b/src/context/cdhashset_forward.h
@@ -26,19 +26,13 @@
 #ifndef __CVC4__CONTEXT__CDSET_FORWARD_H
 #define __CVC4__CONTEXT__CDSET_FORWARD_H
 
-/// \cond internals
-
-namespace __gnu_cxx {
-  template <class Key> struct hash;
-}/* __gnu_cxx namespace */
+#include <functional>
 
 namespace CVC4 {
-  namespace context {
-    template <class V, class HashFcn = __gnu_cxx::hash<V> >
-    class CDHashSet;
-  }/* CVC4::context namespace */
-}/* CVC4 namespace */
-
-/// \endcond
+namespace context {
+template <class V, class HashFcn = std::hash<V> >
+class CDHashSet;
+}  // namespace context
+}  // namespace CVC4
 
 #endif /* __CVC4__CONTEXT__CDSET_FORWARD_H */

diff --git a/src/context/cdinsert_hashmap_forward.h b/src/context/cdinsert_hashmap_forward.h
index 05501f1a245f216e7fc6aab38ecb5b055d928c47..d3f46791a56bbb73155de09eea7f8e65705d5256 100644 (file)
--- a/src/context/cdinsert_hashmap_forward.h
+++ b/src/context/cdinsert_hashmap_forward.h
@@ -23,16 +23,16 @@
 
 #include "cvc4_public.h"
 
-#pragma once
+#ifndef __CVC4__CONTEXT__CDINSERT_HASHMAP_FORWARD_H
+#define __CVC4__CONTEXT__CDINSERT_HASHMAP_FORWARD_H
 
-namespace __gnu_cxx {
-  template <class Key> struct hash;
-}/* __gnu_cxx namespace */
+#include <functional>
 
 namespace CVC4 {
-  namespace context {
-    template <class Key, class Data, class HashFcn = __gnu_cxx::hash<Key> >
-    class CDInsertHashMap;
-  }/* CVC4::context namespace */
-}/* CVC4 namespace */
+namespace context {
+template <class Key, class Data, class HashFcn = std::hash<Key> >
+class CDInsertHashMap;
+}  // namespace context
+}  // namespace CVC4
 
+#endif /* __CVC4__CONTEXT__CDINSERT_HASHMAP_FORWARD_H */

diff --git a/src/context/cdlist_forward.h b/src/context/cdlist_forward.h
index 49a0773495adc87b964eef020eb967c107f329c4..e599c037cd0c473c9fd8ffd89faade4c89d2c09d 100644 (file)
--- a/src/context/cdlist_forward.h
+++ b/src/context/cdlist_forward.h
@@ -36,10 +36,6 @@
 
 /// \cond internals
 
-namespace __gnu_cxx {
-  template <class Key> struct hash;
-}/* __gnu_cxx namespace */
-
 namespace CVC4 {
 namespace context {