Incremental solver works and the test case passes

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

diff --git a/src/AST/element.cc b/src/AST/element.cc
index f182cd2c471def656f480f29c04361f1dde0a001..8044966070f70bf13045bbdd2d52499e2ffe482d 100644 (file)
--- a/src/AST/element.cc
+++ b/src/AST/element.cc
@@ -9,7 +9,8 @@
 Element::Element(ASTNodeType _type) :
        ASTNode(_type),
        encoding(this),
-       anyValue(false) {
+       anyValue(false),
+       frozen(false){
 }
 
 ElementSet::ElementSet(Set *s) :