diff options
-rw-r--r-- | src/expr/pickler.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/expr/pickler.h b/src/expr/pickler.h index dee4f06e6..b98b79681 100644 --- a/src/expr/pickler.h +++ b/src/expr/pickler.h @@ -101,7 +101,7 @@ public: };/* class Pickler */ -class MapPickler : public Pickler { +class CVC4_PUBLIC MapPickler : public Pickler { private: const VarMap& d_toMap; const VarMap& d_fromMap; @@ -113,6 +113,8 @@ public: d_fromMap(from) { } + virtual ~MapPickler() throw() {} + protected: virtual uint64_t variableToMap(uint64_t x) const |