From b98158e99cd9e37ad64004f4f0e6569b8fb57249 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Wed, 8 Feb 2012 22:16:54 +0100
Subject: [PATCH] File has moved.

---
 buildtools/Cmake/DefinePackages.cmake | 2 +-
 examples/smpi/mc_bugged1.c            | 2 +-
 examples/smpi/mc_bugged2.c            | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

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)
-- 
2.20.1