From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Thu, 2 Nov 2017 18:30:02 +0000 (-0700)
Subject: Fixing serialization bug caused by git automerge
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=c3319c10eddcd65568864d7642b665ca95d6d12f;p=satune.git

Fixing serialization bug caused by git automerge
---

diff --git a/src/Serialize/serializer.cc b/src/Serialize/serializer.cc
index d970676..daa8ba0 100644
--- a/src/Serialize/serializer.cc
+++ b/src/Serialize/serializer.cc
@@ -67,7 +67,6 @@ void Serializer::mywrite(const void *__buf, size_t __n) {
 				flushBuffer();
 				__n -= datatowrite;
 				towrite += datatowrite;
-                                __n-=datatowrite;
 			} else if (spacefree == __n) {
 				flushBuffer();
 				return;