X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.h;fp=action.h;h=c39af5ecdb177aff649eb79ba39eb3eff1b3253c;hb=b588ae090b73e131a824d5328e5e8a6ead760148;hp=2647b977c23665997fa703404a8401d61b776ad6;hpb=c6dfb2568e6132123341ade757bf2b3119f1646e;p=model-checker.git

diff --git a/action.h b/action.h
index 2647b97..c39af5e 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: