Fixing bugs ...
[satune.git] / src / AST / boolean.cc
index 565e0efa9417d62c7fce30f57758a5847363d2db..8a6f0d31b7f10d79c4dd44b358d6ed02a3a18a3e 100644 (file)
@@ -114,6 +114,7 @@ void BooleanOrder::serialize(Serializer* serializer){
                return;
        serializer->addObject(this);
        order->serialize(serializer);
+       
        serializer->mywrite(&type, sizeof(ASTNodeType));
        BooleanOrder* This = this;
        serializer->mywrite(&This, sizeof(BooleanOrder*));
@@ -144,7 +145,7 @@ void BooleanPredicate::serialize(Serializer* serializer){
                Element *input = inputs.get(i);
                serializer->mywrite(&input, sizeof(Element *));
        }
-       Boolean* undefStat = undefStatus.getRaw();
+       Boolean* undefStat = undefStatus!= BooleanEdge(NULL)?undefStatus.getRaw() : NULL;
        serializer->mywrite(&undefStat, sizeof(Boolean*));
 }