More bug fix

diff --git a/src/Serialize/serializer.cc b/src/Serialize/serializer.cc
index bd57925..118cf86 100644 (file)
--- a/src/Serialize/serializer.cc
+++ b/src/Serialize/serializer.cc
@@ -32,8 +32,6 @@ void Serializer::mywrite(const void *__buf, size_t __n) {
 
 void serializeBooleanEdge(Serializer *serializer, BooleanEdge be, bool isTopLevel) {
        if (be == BooleanEdge(NULL)){
-               Boolean* boolean = NULL;
-                serializer->mywrite(&boolean, sizeof(Boolean *));
                 return;
         }
        be.getBoolean()->serialize(serializer);