X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads.cc;h=792014e62b4d3c88c1ecc052a4de120c25cace52;hb=84e24d516d4e9dbd30f1fff7e9a185d1540d20eb;hp=e3aed76d2e756f564411796fef2e3e3e5cc990cc;hpb=a02d0bed3bc5ab757c3ed30a9589c53b05919688;p=model-checker.git

diff --git a/threads.cc b/threads.cc
index e3aed76..792014e 100644
--- a/threads.cc
+++ b/threads.cc
@@ -35,7 +35,7 @@ void thread_startup() {
 		 CREATE event, so we don't get redundant traces...  */
 
 	/* Add dummy "start" action, just to create a first clock vector */
-	model->switch_to_master(new ModelAction(THREAD_START, memory_order_seq_cst, curr_thread));
+	model->switch_to_master(new ModelAction(THREAD_START, std::memory_order_seq_cst, curr_thread));
 
 	/* Call the actual thread function */
 	curr_thread->start_routine(curr_thread->arg);