model: bugfix - correct RR coherence for Promises

[c11tester.git] / promise.h

diff --git a/promise.h b/promise.h
index 5b0e356bc6873238765577cab957977dc8c8a143..c131d743aa185d2972cd2d1922fb7ac43d6c3c8d 100644 (file)
--- 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