Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge the content of xbt/exception.hpp into simgrid/Exception.hpp
[simgrid.git] / src / mc / remote / mc_protocol.h
index 6770bf0..d6924f1 100644 (file)
@@ -9,8 +9,6 @@
 #include "mc/datatypes.h"
 #include "simgrid/forward.h"
 
-#include <stdint.h>
-
 SG_BEGIN_DECL()
 
 // ***** Environment variables for passing context to the model-checked process