bug in race detector

[model-checker.git] / datarace.cc

diff --git a/datarace.cc b/datarace.cc
index f0d3dc619489d780ea7e9be237b2007d428a4b33..fb9ca61a10c38fb729ab7b2b71db33fc23a121dd 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);
 }