edits
[iotcloud.git] / version2 / src / C / ArbitrationRound.cc
index f5a1521722e444bbeff3e2d841a23dfce3e6a8c5..543c2d08385edd4d0e9090d3fea8a95c6c72f7c8 100644 (file)
@@ -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() {