Fixing missing changes

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

diff --git a/src/AST/element.h b/src/AST/element.h
index b045186637cc426dd7263de01fefa190f95ad728..c6436036b59a38c0acbc6b3023bbac8678cee9e8 100644 (file)
--- a/src/AST/element.h
+++ b/src/AST/element.h
@@ -17,7 +17,7 @@ public:
        inline ElementEncoding *getElementEncoding(){ return &encoding; }
        virtual Element *clone(CSolver *solver, CloneMap *map) {ASSERT(0); return NULL;};
        virtual void serialize(Serializer* serializer) =0;
-        virtual void print();
+        virtual void print() = 0;
        virtual void updateParents() {}
        virtual Set * getRange() = 0;
        CMEMALLOC;