X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=version2%2Fsrc%2FC%2FArbitrationRound.cc;h=543c2d08385edd4d0e9090d3fea8a95c6c72f7c8;hb=d0f7ade2b1b60015ff3cb6ada2071dfafaa656f5;hp=f5a1521722e444bbeff3e2d841a23dfce3e6a8c5;hpb=793c445e17d24c146e7e820a5ecb5f02a5e00ea3;p=iotcloud.git

diff --git a/version2/src/C/ArbitrationRound.cc b/version2/src/C/ArbitrationRound.cc
index f5a1521..543c2d0 100644
--- a/version2/src/C/ArbitrationRound.cc
+++ b/version2/src/C/ArbitrationRound.cc
@@ -20,6 +20,8 @@ ArbitrationRound::ArbitrationRound(Commit *_commit, Hashset<Abort *> *_abortsBef
 ArbitrationRound::~ArbitrationRound() {
 	delete abortsBefore;
 	delete parts;
+	if (commit != NULL)
+		delete commit;
 }
 
 void ArbitrationRound::generateParts() {