From: Martin Quinson <martin.quinson@loria.fr>
Date: Wed, 6 Aug 2014 22:53:00 +0000 (+0200)
Subject: make public the function that can display an exception
X-Git-Tag: v3_12~858^2~6
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/034696853c320dc71bd73cd98de6b740d9359c8e

make public the function that can display an exception
---

diff --git a/include/xbt/ex.h b/include/xbt/ex.h
index dd79d3286d..a72f16b120 100644
--- 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 3abaede608..4f510f6815 100644
--- 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);