More bug fix

diff --git a/src/Serialize/serializer.cc b/src/Serialize/serializer.cc
index bd579258f355caaccfbb7d0e592649b3f6fc0ce5..118cf867296a2c680b3b1e55831affaa2a553baf 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)){
 
 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);
                 return;
         }
        be.getBoolean()->serialize(serializer);