Fix snapshot code

[model-checker.git] / test / mutextest.cc

diff --git a/test/mutextest.cc b/test/mutextest.cc
index 968d9c4816533cd30d14e2bf9134e0c9a8c644a7..01226a71d3462fb20d546a1dffc16024e7112c2e 100644 (file)
--- 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();
                }