From 034696853c320dc71bd73cd98de6b740d9359c8e Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Thu, 7 Aug 2014 00:53:00 +0200 Subject: [PATCH] make public the function that can display an exception --- include/xbt/ex.h | 2 ++ src/xbt/ex_interface.h | 2 -- 2 files changed, 2 insertions(+), 2 deletions(-) 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); -- 2.20.1