From: Brian Norris <banorris@uci.edu>
Date: Sat, 7 Jul 2012 07:05:34 +0000 (-0700)
Subject: datarace: fix build error
X-Git-Tag: pldi2013~363^2~9^2
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=2e6b69b1d66f6c12fca3c7a8076f28e2e554ae32;ds=sidebyside

datarace: fix build error
---

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];