warning pointer used after delete

[stla]

Hello, I get this warning when compiling with gcc:

CGAL/Handle_with_policy.h:188: warning: pointer used after 'void operator delete(void*, std::size_t)' [-Wuse-after-free]

I'm using CGAL 5.4 (I can't upgrade).