From: Marion Guthmuller <marion.guthmuller@inria.fr>
Date: Fri, 27 Jun 2014 11:56:49 +0000 (+0200)
Subject: model-checker : if no inttypes found in c++
X-Git-Tag: v3_12~954
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/848de43e8b662c557853f4466115937687e8fd63

model-checker : if no inttypes found in c++
---

diff --git a/src/mc/mc_compare.cpp b/src/mc/mc_compare.cpp
index ada39e645a..0067028319 100644
--- a/src/mc/mc_compare.cpp
+++ b/src/mc/mc_compare.cpp
@@ -4,6 +4,7 @@
 /* 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. */
 
+#define __STDC_FORMAT_MACROS
 #include <inttypes.h>
 #include <boost/unordered_set.hpp>