X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.h;h=c39af5ecdb177aff649eb79ba39eb3eff1b3253c;hb=fbacb5f41ada96e7b539ccc41deccb1a7e1a1ba8;hp=2647b977c23665997fa703404a8401d61b776ad6;hpb=7f0963612d33cd3c1e1330bb42c9962259a03da3;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: