From 1cfe59d9943d547557996152887b4af3a8a5f17e Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Mon, 3 Jun 2019 13:39:09 +0200
Subject: [PATCH] Cosmetics.

---
 src/xbt/exception.cpp | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/xbt/exception.cpp b/src/xbt/exception.cpp
index 6d9272f0bc..73f18098f6 100644
--- a/src/xbt/exception.cpp
+++ b/src/xbt/exception.cpp
@@ -112,12 +112,12 @@ void log_exception(e_xbt_log_priority_t prio, const char* context, std::exceptio
 static void show_backtrace(const simgrid::xbt::Backtrace& bt)
 {
   if (simgrid::config::get_value<bool>("exception/cutpath")) {
-    XBT_LOG(xbt_log_priority_critical, "Display of current backtrace disabled by --cfg=exception/cutpath.");
+    XBT_CRITICAL("Display of current backtrace disabled by --cfg=exception/cutpath.");
     return;
   }
   std::string res = bt.resolve();
-  XBT_LOG(xbt_log_priority_critical, "Current backtrace:");
-  XBT_LOG(xbt_log_priority_critical, "  -> %s", res.c_str());
+  XBT_CRITICAL("Current backtrace:");
+  XBT_CRITICAL("  -> %s", res.c_str());
 }
 
 static std::terminate_handler previous_terminate_handler = nullptr;
-- 
2.20.1