X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=action.h;h=63c0375211c513ef704c4ee4c3fbb8abe832fdb5;hb=0b3c8355b0f1fdf7e4b983bef11472192405a9d9;hp=2647b977c23665997fa703404a8401d61b776ad6;hpb=7f0963612d33cd3c1e1330bb42c9962259a03da3;p=c11tester.git

diff --git a/action.h b/action.h
index 2647b977..63c03752 100644
--- a/action.h
+++ b/action.h
@@ -151,6 +151,8 @@ public:
 	bool get_sleep_flag() { return sleep_flag; }
 	unsigned int hash() const;
 
+	bool equals(const ModelAction *x) const { return this == x; }
+	bool equals(const Promise *x) const { return false; }
 	MEMALLOC
 private:
 
@@ -191,6 +193,4 @@ private:
 	bool sleep_flag;
 };
 
-typedef std::list< ModelAction *, SnapshotAlloc<ModelAction *> > action_list_t;
-
 #endif /* __ACTION_H__ */