load the header needed by this file

diff --git a/src/mc/mc_exit.hpp b/src/mc/mc_exit.hpp
index 8245a27..6494e19 100644 (file)
--- a/src/mc/mc_exit.hpp
+++ b/src/mc/mc_exit.hpp
@@ -6,6 +6,7 @@
 #ifndef SIMGRID_MC_EXIT_HPP
 #define SIMGRID_MC_EXIT_HPP
 #include "xbt/base.h"
+#include <exception>
 
 constexpr int SIMGRID_MC_EXIT_SUCCESS         = 0;
 constexpr int SIMGRID_MC_EXIT_SAFETY          = 1;