X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/4716cd93977d7ffc2f15b156947e80d668291280..5a00610e05eab122e23f56b589d5bb240e6ceda7:/include/xbt/log.h

diff --git a/include/xbt/log.h b/include/xbt/log.h
index 840bd7d7e1..837829f1ab 100644
--- a/include/xbt/log.h
+++ b/include/xbt/log.h
@@ -22,8 +22,7 @@
  */
 
 /* XBT_LOG_MAYDAY: define this to replace the logging facilities with basic
-   printf function. Useful to debug the logging facilities themselves */
-#undef XBT_LOG_MAYDAY
+   printf function. Useful to debug the logging facilities themselves, or to not make source analysis tools mad */
 //#define XBT_LOG_MAYDAY
 
 #ifndef _XBT_LOG_H_
@@ -660,5 +659,7 @@ extern xbt_log_layout_t xbt_log_default_layout;
  */
 #define XBT_HERE(...) XBT_LOG(xbt_log_priority_trace, "-- was here" __VA_ARGS__)
 
+XBT_PUBLIC(void) xbt_set_terminate();
+
 SG_END_DECL()
 #endif                          /* ! _XBT_LOG_H_ */