#include "simgrid_config.h"
#include "xbt/sysdep.h"
#include "xbt/log.h"
+#include "xbt/log.hpp"
#include "xbt/dynar.h"
#include "xbt/config.h"
/** @brief Initialize the xbt mechanisms. */
void xbt_init(int *argc, char **argv)
{
- xbt_set_terminate();
+ simgrid::xbt::installExceptionHandler();
if (xbt_initialized++) {
XBT_DEBUG("XBT was initialized %d times.", xbt_initialized);