Merge branch 'master' of https://framagit.org/simgrid/simgrid

[simgrid.git] / src / mc / mc_exit.hpp

diff --git a/src/mc/mc_exit.hpp b/src/mc/mc_exit.hpp
index 8245a27adaa1623c75c7a13cf6b6a1c173789960..6494e19efc3a1405837abdd749dd5083cac60aaa 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;