From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Mon, 23 Oct 2017 21:59:31 +0000 (-0700)
Subject: More bug fix
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=63dc927ad5791359617ad4295c55d04c8ac169d0

More bug fix
---

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);