From 2e6b69b1d66f6c12fca3c7a8076f28e2e554ae32 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Sat, 7 Jul 2012 00:05:34 -0700 Subject: [PATCH] datarace: fix build error --- datarace.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/datarace.cc b/datarace.cc index 5856e77..0fd263c 100644 --- a/datarace.cc +++ b/datarace.cc @@ -170,7 +170,7 @@ void fullRaceCheckRead(thread_id_t thread, uint64_t * shadow, ClockVector *currC read races. Note that readClock can't actually be zero, so it could be optimized. */ - if (clock_may_race(currClock, thread, readClock, readThread) { + if (clock_may_race(currClock, thread, readClock, readThread)) { /* Still need this read in vector */ if (copytoindex!=i) { record->readClock[copytoindex]=record->readClock[i]; -- 2.34.1