Bug fixes

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

diff --git a/src/AST/element.h b/src/AST/element.h
index 267f133f1beff89633bf4fffa540b2eb7ead6acf..d0cec9fbaaa5d262b61c4c419b40b904b61bde7c 100644 (file)
--- a/src/AST/element.h
+++ b/src/AST/element.h
@@ -16,7 +16,7 @@ public:
        virtual ~Element() {}
        Vector<ASTNode *> parents;
        ElementEncoding encoding;
-       virtual Element *clone(CSolver *solver, CloneMap *map);
+       virtual Element *clone(CSolver *solver, CloneMap *map) {ASSERT(0); return NULL;};
        MEMALLOC;
 };