Call closure_exception destructor

[VoxSciurorum]

This doesn't matter now. Some day the destructor might do work.

[neboat]

Can this method simply call delete exn_r instead of explicitly calling the destructor followed by free?

[VoxSciurorum]

Can this method simply call delete exn_r instead of explicitly calling the destructor followed by free?

The memory was allocated by a malloc family function and should not be freed by delete.