Update pnset.hpp

fhoushmand · Mar 15, 2024 · 84b10ba · 84b10ba
1 parent 94ca36d
commit 84b10ba
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/wellcoordination/benchmark/pnset.hpp b/wellcoordination/benchmark/pnset.hpp
@@ -86,6 +86,7 @@ class PNSet : public ReplicatedObject
     }
     void remove(std::string a)
     {
+      bool find=false;
       while(lock.load());
       lock.store(true);
       find=false;