ms-queue: remove more externs and unintended shared data
[model-checker-benchmarks.git] / barrier / barrier.h
index 871e10f..6970816 100644 (file)
@@ -2,7 +2,10 @@
 
 class spinning_barrier {
  public:
-       spinning_barrier (unsigned int n) : n_ (n), nwait_ (0), step_(0) {}
+       spinning_barrier (unsigned int n) : n_ (n) {
+               nwait_ = 0;
+               step_ = 0;
+       }
 
        bool wait() {
                unsigned int step = step_.load ();