diff --git a/dune/common/exceptions.hh b/dune/common/exceptions.hh index 549085508b2186d67e9fb4580644ef4f1e6c6b27..c11afbdc49b835feabef794b74a7f845da61e80d 100644 --- a/dune/common/exceptions.hh +++ b/dune/common/exceptions.hh @@ -168,6 +168,7 @@ namespace Dune { */ struct ExceptionHook { + virtual ~ExceptionHook() {} virtual void operator () () = 0; };