X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=action.cc;h=140d59098f8c37732753e4f80ddc58f8a883810b;hb=d2cbbe4ce6d8f6e1aa23b8fe639ed58edf1789b7;hp=16f2327e8dc73de1ef564747bb27ae8c54c639fd;hpb=55eb20c50ec656d385fb6e94c01aea55e9514917;p=model-checker.git

diff --git a/action.cc b/action.cc
index 16f2327..140d590 100644
--- a/action.cc
+++ b/action.cc
@@ -492,7 +492,7 @@ unsigned int ModelAction::hash() const
 	unsigned int hash=(unsigned int) this->type;
 	hash^=((unsigned int)this->order)<<3;
 	hash^=seq_number<<5;
-	hash^=tid<<6;
+	hash ^= id_to_int(tid) << 6;
 
 	if (is_read()) {
 		if (reads_from)