X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2Fmutextest.cc;h=01226a71d3462fb20d546a1dffc16024e7112c2e;hb=d17fbaf88464f1a9e8fe2b7df96631652ee17122;hp=968d9c4816533cd30d14e2bf9134e0c9a8c644a7;hpb=8c795e46244df91bf9f5ad65b6268767dec054fc;p=model-checker.git

diff --git a/test/mutextest.cc b/test/mutextest.cc
index 968d9c4..01226a7 100644
--- a/test/mutextest.cc
+++ b/test/mutextest.cc
@@ -17,7 +17,7 @@ static void a(void *obj)
 			m->unlock();
 		} else {
 			while(!m->try_lock())
-				;
+				thrd_yield();
 			store_32(&shareddata,(unsigned int)i);
 			m->unlock();
 		}