diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-02-21 22:13:05 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-02-21 22:13:05 +0000 |
commit | c0377cdf4aad1e4d7b073c91887db91f357c6395 (patch) | |
tree | 5d587b8f45b06b1449a8622a2042c0047f491bf9 /src/util | |
parent | 8b4754b8116c029b5314fccb39f200a6d0e90abd (diff) |
fix src/util/hash.h to specialize GNU's hash template for <uint64_t> on platforms that need it; fixes Mac builds.
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/hash.h | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/util/hash.h b/src/util/hash.h index 5f0189d44..fdfbf4087 100644 --- a/src/util/hash.h +++ b/src/util/hash.h @@ -29,15 +29,16 @@ namespace __gnu_cxx {} namespace __gnu_cxx { -#if __WORDSIZE == 32 -// on 32-bit, we need a specialization of hash for 64-bit values +#ifdef CVC4_NEED_HASH_UINT64_T +// on some versions and architectures of GNU C++, 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 */ +#endif /* CVC4_NEED_HASH_UINT64_T */ }/* __gnu_cxx namespace */ |