From 9e160d6e36ced00a89fceb3ce97cbde6a8a9d8e1 Mon Sep 17 00:00:00 2001
From: Marc Glisse <marc.glisse@inria.fr>
Date: Sat, 14 Nov 2020 22:47:07 +0100
Subject: [PATCH] Destructor

---
 Filtered_kernel/include/CGAL/Lazy.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Filtered_kernel/include/CGAL/Lazy.h b/Filtered_kernel/include/CGAL/Lazy.h
index 66a7a60e82d..89bf8a289aa 100644
--- a/Filtered_kernel/include/CGAL/Lazy.h
+++ b/Filtered_kernel/include/CGAL/Lazy.h
@@ -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); }
 };