datarace: fix build error

[c11tester.git] / datarace.cc

diff --git a/datarace.cc b/datarace.cc
index 5856e770b326eece6dee601dbf346e32b140ed07..0fd263cc08cf946a8f3806d02614d1a80593a275 100644 (file)
--- 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.  */
 
                                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];
                        /* Still need this read in vector */
                        if (copytoindex!=i) {
                                record->readClock[copytoindex]=record->readClock[i];