Bug fix for serializing Boolean Const ...

[satune.git] / src / AST / boolean.h

diff --git a/src/AST/boolean.h b/src/AST/boolean.h
index 77dc244001bd99286bef8e7e30a587d6c434e1e6..dd1b58050a3454b68e72f9e627dbb8b4e6c73f9f 100644 (file)
--- a/src/AST/boolean.h
+++ b/src/AST/boolean.h
@@ -35,7 +35,7 @@ public:
        Boolean *clone(CSolver *solver, CloneMap *map);
        bool isTrue() {return istrue;}
        bool isFalse() {return !istrue;}
-       void serialize(Serializer *serializer ) {};
+       void serialize(Serializer *serializer );
        virtual void print();
        bool istrue;
        CMEMALLOC;