From c0377cdf4aad1e4d7b073c91887db91f357c6395 Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Tue, 21 Feb 2012 22:13:05 +0000 Subject: fix src/util/hash.h to specialize GNU's hash template for on platforms that need it; fixes Mac builds. --- src/util/hash.h | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'src/util') 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 { size_t operator()(uint64_t v) const { return v; } };/* struct hash */ -#endif /* 32-bit */ +#endif /* CVC4_NEED_HASH_UINT64_T */ }/* __gnu_cxx namespace */ -- cgit v1.2.3