make public the function that can display an exception

diff --git a/include/xbt/ex.h b/include/xbt/ex.h
index dd79d32..a72f16b 100644 (file)
--- a/include/xbt/ex.h
+++ b/include/xbt/ex.h
@@ -471,6 +471,8 @@ XBT_PUBLIC( void )__xbt_ex_terminate_default(xbt_ex_t * e);
 
 /** @brief Exception destructor */
 XBT_PUBLIC(void) xbt_ex_free(xbt_ex_t e);
+/** @brief The display made by an exception that is not catched */
+XBT_PUBLIC(void) xbt_ex_display(xbt_ex_t * e);
 
 /** @brief Shows a backtrace of the current location */
 XBT_PUBLIC(void) xbt_backtrace_display_current(void);

diff --git a/src/xbt/ex_interface.h b/src/xbt/ex_interface.h
index 3abaede..4f510f6 100644 (file)
--- a/src/xbt/ex_interface.h
+++ b/src/xbt/ex_interface.h
@@ -12,8 +12,6 @@
 #define _XBT_EX_INTERFACE_H_
 
 #include "xbt/ex.h"
-/* The display made by an uncatched exception */
-void xbt_ex_display(xbt_ex_t * e);
 
 /* Change raw libc symbols to file names and line numbers */
 void xbt_ex_setup_backtrace(xbt_ex_t * e);