X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/441436da649a1a42a336b3c371a22f84cdb851c0..351f33cd435ca4f01717f0b8a4fe7a77ba16edbf:/src/mc/remote/mc_protocol.h

diff --git a/src/mc/remote/mc_protocol.h b/src/mc/remote/mc_protocol.h
index 6770bf0685..80c9f25af2 100644
--- a/src/mc/remote/mc_protocol.h
+++ b/src/mc/remote/mc_protocol.h
@@ -1,4 +1,4 @@
-/* Copyright (c) 2015-2018. The SimGrid Team. All rights reserved.          */
+/* Copyright (c) 2015-2019. The SimGrid Team. All rights reserved.          */
 
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
@@ -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