diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-02-20 17:59:33 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-02-20 17:59:33 +0000 |
commit | 3d2b33d66998261f9369cccc098140f64bc8b417 (patch) | |
tree | 9176ad2684415f8fb95f75a5655e8b17dcdf9793 /src/util/hash.h | |
parent | 92155f5e40ed2cf452dc5e2f618e7be6542293e8 (diff) |
portfolio merge
Diffstat (limited to 'src/util/hash.h')
-rw-r--r-- | src/util/hash.h | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/util/hash.h b/src/util/hash.h index 6183c5208..5f0189d44 100644 --- a/src/util/hash.h +++ b/src/util/hash.h @@ -26,6 +26,22 @@ namespace __gnu_cxx {} #include <ext/hash_map> + +namespace __gnu_cxx { + +#if __WORDSIZE == 32 +// on 32-bit, we need a specialization of hash for 64-bit values +template <> +struct hash<uint64_t> { + size_t operator()(uint64_t v) const { + return v; + } +};/* struct hash<uint64_t> */ +#endif /* 32-bit */ + +}/* __gnu_cxx namespace */ + +// hackish: treat hash stuff as if it were in std namespace namespace std { using namespace __gnu_cxx; } namespace CVC4 { |