From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Wed, 8 Feb 2012 21:16:54 +0000 (+0100)
Subject: File has moved.
X-Git-Tag: exp_20120216~35
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/b98158e99cd9e37ad64004f4f0e6569b8fb57249

File has moved.
---

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index eaf168dc70..2d5507dd3a 100644
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -425,7 +425,7 @@ set(headers_to_install
 	include/xbt/automatonparse_promela.h
 	include/xbt/datadesc.h
 	include/simgrid/platf.h
-	include/mc/modelchecker.h
+	include/simgrid/modelchecker.h
 	include/msg/msg.h
 	include/msg/datatypes.h
 	include/simdag/simdag.h
diff --git a/examples/smpi/mc_bugged1.c b/examples/smpi/mc_bugged1.c
index dae3fdcbd4..699d293b7e 100644
--- a/examples/smpi/mc_bugged1.c
+++ b/examples/smpi/mc_bugged1.c
@@ -8,7 +8,7 @@
 
 #include <stdio.h>
 #include <mpi.h>
-#include <mc/modelchecker.h>
+#include <simgrid/modelchecker.h>
 
 
 int main(int argc, char **argv)
diff --git a/examples/smpi/mc_bugged2.c b/examples/smpi/mc_bugged2.c
index 5297b3fa5f..707950e13a 100644
--- a/examples/smpi/mc_bugged2.c
+++ b/examples/smpi/mc_bugged2.c
@@ -8,7 +8,7 @@
 
 #include <stdio.h>
 #include <mpi.h>
-#include <mc/modelchecker.h>
+#include <simgrid/modelchecker.h>
 
 
 int main(int argc, char **argv)