From c945ee9b318f38c764d8620cd23f8e5270cfdb3a Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 10 Jan 2019 12:14:24 +0100
Subject: [PATCH] Kill unused function xbt_ex_display().

---
 ChangeLog             | 1 +
 include/xbt/ex.h      | 3 ---
 src/xbt/exception.cpp | 6 ------
 3 files changed, 1 insertion(+), 9 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 99d68e9271..670024686f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -24,6 +24,7 @@ XBT:
    - xbt_os_thread_set_extra_data()
    - xbt_os_thread_self()
    - xbt_os_thread_self_name()
+ - Drop xbt_ex_display(), use simgrid::xbt::log_exception() instead.
 
 Fixed bugs:
  - #261: Document the parameters of parallel execution's constructor
diff --git a/include/xbt/ex.h b/include/xbt/ex.h
index 3b5e166b28..0ba034c65f 100644
--- a/include/xbt/ex.h
+++ b/include/xbt/ex.h
@@ -87,9 +87,6 @@ XBT_ATTRIB_NORETURN void xbt_throw_unimplemented(const char* file, int line, con
  */
 #define DIE_IMPOSSIBLE xbt_die("The Impossible Did Happen (yet again)")
 
-/** Display an exception */
-XBT_PUBLIC void xbt_ex_display(xbt_ex_t* e);
-
 SG_END_DECL()
 
 /** @} */
diff --git a/src/xbt/exception.cpp b/src/xbt/exception.cpp
index 48c4dfa3d3..efb2c6019c 100644
--- a/src/xbt/exception.cpp
+++ b/src/xbt/exception.cpp
@@ -29,12 +29,6 @@ void _xbt_throw(char* message, xbt_errcat_t errcat, int value, const char* file,
   throw e;
 }
 
-/** @brief shows an exception content and the associated stack if available */
-void xbt_ex_display(xbt_ex_t* e)
-{
-  simgrid::xbt::log_exception(xbt_log_priority_critical, "UNCAUGHT EXCEPTION", *e);
-}
-
 /** @brief returns a short name for the given exception category */
 const char* xbt_ex_catname(xbt_errcat_t cat)
 {
-- 
2.20.1