Destructor

2020-11-14 22:47:07 +01:00
parent ad34659b19
commit 9e160d6e36
1 changed files with 1 additions and 1 deletions
@@ -555,7 +555,7 @@ public:

  bool is_lazy() const { return et == nullptr; }
  virtual void update_exact() const = 0;
-  virtual ~Lazy_rep() { delete et; }
+  virtual ~Lazy_rep() { delete et.load(std::memory_order_consume); }
 };