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/expr | |
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/expr')
-rw-r--r-- | src/expr/pickler.h | 8 |
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(); } } |