diff options
author | Tim King <taking@cs.nyu.edu> | 2018-02-05 12:38:13 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-05 12:38:13 -0800 |
commit | b458d1768202f7f9e117693b83985794665f73e2 (patch) | |
tree | 75e472b45a247d31ec5fe2628fd4e619744a60b2 /src/context/cdlist_forward.h | |
parent | 5035105b8d3ca8d260581581ca2beccf9ead3354 (diff) |
Removing references to __gnu_cxx. (#1541)
Diffstat (limited to 'src/context/cdlist_forward.h')
-rw-r--r-- | src/context/cdlist_forward.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/context/cdlist_forward.h b/src/context/cdlist_forward.h index 49a077349..e599c037c 100644 --- 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 { |