Bug fix for serializing Boolean Const ...

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

diff --git a/src/AST/boolean.cc b/src/AST/boolean.cc
index 647f548d352f21e5a98c149ce519b427941099bc..e63549ee409b07e0555675187dda6baaa3e8601b 100644 (file)
--- a/src/AST/boolean.cc
+++ b/src/AST/boolean.cc
@@ -116,6 +116,16 @@ void BooleanVar::serialize(Serializer *serializer) {
        serializer->mywrite(&vtype, sizeof(VarType));
 }
 
+void BooleanConst::serialize(Serializer *serializer) {
+       if (serializer->isSerialized(this))
+               return;
+       serializer->addObject(this);
+       serializer->mywrite(&type, sizeof(ASTNodeType));
+       BooleanConst *This = this;
+       serializer->mywrite(&This, sizeof(BooleanConst *));
+       serializer->mywrite(&istrue, sizeof(bool));
+}
+
 void BooleanVar::print() {
        model_print("BooleanVar<%p>\n", this);
 }