* xbt_ex_display(): do not free the exception after displaying
This allows to do more with the given exception afterward.
Users should call xbt_ex_free() themselves.
* xbt_ex_display(): do not free the exception after displaying
This allows to do more with the given exception afterward.
Users should call xbt_ex_free() themselves.