X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=action.h;h=fead25e649a3dfcb575e9d5aae353b4363e92d8c;hp=2f599e969baab97dda56989ce0ee559d343d7780;hb=a7df00de36ef87549b654cfbc5c6b098cbba7a5b;hpb=b45ae1ffde0d00f47428f10b33c8c8c67b162b2a

diff --git a/action.h b/action.h
index 2f599e96..fead25e6 100644
--- a/action.h
+++ b/action.h
@@ -175,8 +175,6 @@ public:
 	void process_rmw(ModelAction * act);
 	void copy_typeandorder(ModelAction * act);
 
-	void set_sleep_flag() { sleep_flag=true; }
-	bool get_sleep_flag() { return sleep_flag; }
 	unsigned int hash() const;
 
 	bool equals(const ModelAction *x) const { return this == x; }
@@ -245,8 +243,6 @@ private:
 	 * vectors for all operations.
 	 */
 	ClockVector *cv;
-
-	bool sleep_flag;
 };
 
 #endif /* __ACTION_H__ */