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

diff --git a/include/xbt/log.h b/include/xbt/log.h
index 4c24f32120..837829f1ab 100644
--- a/include/xbt/log.h
+++ b/include/xbt/log.h
@@ -659,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_ */