fix src/util/hash.h to specialize GNU's hash template for <uint64_t> on platforms that need it; fixes Mac builds.

1 files changed, 4 insertions, 4 deletions

diff --git a/src/expr/pickler.h b/src/expr/pickler.h
index 264ae0e4b..6e79d6997 100644
--- a/src/expr/pickler.h
+++ b/src/expr/pickler.h
@@ -50,7 +50,7 @@ public:
   Pickle();
   Pickle(const Pickle& p);
   ~Pickle();
-  Pickle& operator = (const Pickle& other);
+  Pickle& operator=(const Pickle& other);
 };/* class Pickle */
 
 class CVC4_PUBLIC PicklingException : public Exception {
@@ -116,11 +116,11 @@ public:
 protected:
 
   virtual uint64_t variableToMap(uint64_t x) const
-    throw(AssertionException, PicklingException){
+    throw(AssertionException, PicklingException) {
     VarMap::const_iterator i = d_toMap.find(x);
-    if(i != d_toMap.end()){
+    if(i != d_toMap.end()) {
       return i->second;
-    }else{
+    } else {
       throw PicklingException();
     }
   }