From 04d54045cf7cb419276d6a233e17f36c9feb4a55 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Tue, 9 Jul 2019 18:03:05 +0200
Subject: [PATCH] load the header needed by this file

---
 src/mc/mc_exit.hpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/mc/mc_exit.hpp b/src/mc/mc_exit.hpp
index 8245a27ada..6494e19efc 100644
--- 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;
-- 
2.20.1