X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=action.cc;h=34bc09f0be567c3ff4b30e084e52d911b12fd8cc;hb=28067adf4ed506b7e38ddf38e522d5a9621bef92;hp=d425b6030f9cdaaccc928b75ddad9169bcb4f70a;hpb=1da45a14f1affce44fd050d4ddf63c9264526dbb;p=model-checker.git

diff --git a/action.cc b/action.cc
index d425b60..34bc09f 100644
--- a/action.cc
+++ b/action.cc
@@ -630,8 +630,13 @@ unsigned int ModelAction::hash() const
 	hash ^= seq_number << 5;
 	hash ^= id_to_int(tid) << 6;
 
-	if (is_read() && reads_from)
-		hash ^= reads_from->get_seq_number();
+	if (is_read()) {
+	       if (reads_from)
+		       hash ^= reads_from->get_seq_number();
+	       else if (reads_from_promise)
+		       hash ^= model->get_promise_number(reads_from_promise);
+	       hash ^= get_reads_from_value();
+	}
 	return hash;
 }