From c35c18a7054d55cb1b4a8c9e27eaf0ad7c044bcf Mon Sep 17 00:00:00 2001
From: Marco Costalba <mcostalba@gmail.com>
Date: Mon, 31 May 2010 06:13:34 +0100
Subject: [PATCH] Thread::splitPoint is a volatile pointer

No functional change.

Signed-off-by: Marco Costalba <mcostalba@gmail.com>
---
 src/thread.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/thread.h b/src/thread.h
index 6fda35f8..782694ad 100644
--- a/src/thread.h
+++ b/src/thread.h
@@ -83,7 +83,7 @@ enum ThreadState
 };
 
 struct Thread {
-  SplitPoint* splitPoint;
+  SplitPoint* volatile splitPoint;
   volatile int activeSplitPoints;
   uint64_t nodes;
   uint64_t betaCutOffs[2];
-- 
2.39.2