fix commit that mistakenly happened

[model-checker-benchmarks.git] / barrier / barrier.h

diff --git a/barrier/barrier.h b/barrier/barrier.h
index 6970816eabf19f620f6e4f578091e92982468268..dd5d39c0c7d9f56f112a35bb2c7befed1e23cdd9 100644 (file)
--- a/barrier/barrier.h
+++ b/barrier/barrier.h
@@ -18,7 +18,7 @@ class spinning_barrier {
                } else {
                        /* Run in circles and scream like a little girl.  */
                        while (step_.load () == step)
-                               ;
+                               thrd_yield();
                        return false;
                }
        }