From 63dc927ad5791359617ad4295c55d04c8ac169d0 Mon Sep 17 00:00:00 2001
From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Mon, 23 Oct 2017 14:59:31 -0700
Subject: [PATCH] More bug fix

---
 src/Serialize/serializer.cc | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/Serialize/serializer.cc b/src/Serialize/serializer.cc
index bd57925..118cf86 100644
--- 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);
-- 
2.34.1