From 35f0fe10227c0bf210440fb284da9dac23ddfee8 Mon Sep 17 00:00:00 2001
From: Hamed <hamed.gorjiara@gmail.com>
Date: Mon, 11 Sep 2017 16:11:20 -0700
Subject: [PATCH] More bug fix ...

---
 src/Serialize/deserializer.cc | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/src/Serialize/deserializer.cc b/src/Serialize/deserializer.cc
index de9c2fc..7119119 100644
--- a/src/Serialize/deserializer.cc
+++ b/src/Serialize/deserializer.cc
@@ -170,7 +170,14 @@ void Deserializer::deserializeBooleanLogic(){
 	myread(&size, sizeof(uint));
 	Vector<BooleanEdge> members;
 	for(uint i=0; i<size; i++){
-		
+		Boolean* member;
+		myread(&member, sizeof(Boolean *));
+		BooleanEdge tmp(member);
+		bool isNegated = tmp.isNegated();
+		ASSERT(map.contains(tmp.getBoolean()));
+		member = (Boolean*) map.get(tmp.getBoolean());
+		BooleanEdge res(member);
+		members.push( isNegated?res.negate():res );
 	}
 	map.put(bl_ptr, solver->applyLogicalOperation(op, members.expose(), size).getBoolean());
 }
-- 
2.34.1