X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=promise.h;h=c131d743aa185d2972cd2d1922fb7ac43d6c3c8d;hp=5b0e356bc6873238765577cab957977dc8c8a143;hb=963f325c5b5df37487e17c3a05f4d15efabb8870;hpb=3510b440b186949cbc0760d369da6787f0def7ac;ds=sidebyside

diff --git a/promise.h b/promise.h
index 5b0e356b..c131d743 100644
--- a/promise.h
+++ b/promise.h
@@ -41,6 +41,9 @@ class Promise {
 
 	void print() const;
 
+	bool equals(const Promise *x) const { return this == x; }
+	bool equals(const ModelAction *x) const { return false; }
+
 	SNAPSHOTALLOC
  private:
 	/** @brief Thread ID(s) for thread(s) that potentially can satisfy this