From: Brian Norris <banorris@uci.edu>
Date: Wed, 3 Oct 2012 17:12:56 +0000 (-0700)
Subject: action: reword comments
X-Git-Tag: pldi2013~109^2~9
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=aeaedd475a82cbb567f26ed524b2ad2e860e37b7

action: reword comments

Why all the ...?
---

diff --git a/action.cc b/action.cc
index a4959ae..f80de7b 100644
--- a/action.cc
+++ b/action.cc
@@ -23,17 +23,19 @@ ModelAction::ModelAction(action_type_t type, memory_order order, void *loc, uint
 	this->tid = t->get_id();
 }
 
+/** @brief ModelAction destructor */
 ModelAction::~ModelAction()
 {
-	/** We can't free the clock vector:
-	 *  The reason is as follows:
-	 *  Clock vectors are snapshotting state...  when we delete model actions
-	 *  they are at the end of the node list and have invalid old clock vectors...
-	 *  They are already free at that point...
+	/**
+	 * We can't free the clock vector:
+	 * Clock vectors are snapshotting state. When we delete model actions,
+	 * they are at the end of the node list and have invalid old clock
+	 * vectors which have already been rolled back to an unallocated state.
 	 */
-	
-	/*	if (cv)
-			delete cv;*/
+
+	/*
+	 if (cv)
+		delete cv; */
 }
 
 void ModelAction::copy_from_new(ModelAction *newaction)