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); }
 };