bug in race detector

diff --git a/datarace.cc b/datarace.cc
index f0d3dc6..fb9ca61 100644 (file)
--- a/datarace.cc
+++ b/datarace.cc
@@ -252,5 +252,5 @@ void raceCheckRead(thread_id_t thread, void *location, ClockVector *currClock) {
                return;
        }
 
-       *shadow = ENCODEOP(writeThread, writeClock, threadid, ourClock);
+       *shadow = ENCODEOP(threadid, ourClock, id_to_int(writeThread), writeClock);
 }