From: Brian Norris <banorris@uci.edu>
Date: Wed, 6 Feb 2013 21:42:24 +0000 (-0800)
Subject: cyclegraph: trivial shortening
X-Git-Tag: oopsla2013~310
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ca060d2744dd60d1ed37b7db12aa1814633f95e1;p=model-checker.git

cyclegraph: trivial shortening
---

diff --git a/cyclegraph.h b/cyclegraph.h
index 5f6974b..8efd5d4 100644
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -71,14 +71,12 @@ class CycleNode {
 	unsigned int getNumBackEdges() const;
 	bool setRMW(CycleNode *);
 	CycleNode * getRMW() const;
+	void clearRMW() { hasRMW = NULL; }
 	const ModelAction * getAction() const { return action; }
 
 	void popEdge() {
 		edges.pop_back();
 	}
-	void clearRMW() {
-		hasRMW = NULL;
-	}
 
 	SNAPSHOTALLOC
  private: