X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/6c12a132ca10eefd1d566e489e837e459db4d979:/src/mc/mc_model_checker.c..ea9cce21b6d3f37823143217f1ca183bb2f0c9ac:/src/mc/mc_model_checker.cpp

diff --git a/src/mc/mc_model_checker.c b/src/mc/mc_model_checker.cpp
similarity index 98%
rename from src/mc/mc_model_checker.c
rename to src/mc/mc_model_checker.cpp
index 98aa299117..45b13b266e 100644
--- a/src/mc/mc_model_checker.c
+++ b/src/mc/mc_model_checker.cpp
@@ -7,6 +7,8 @@
 #include "mc_model_checker.h"
 #include "mc_page_store.h"
 
+extern "C" {
+
 mc_model_checker_t mc_model_checker = NULL;
 
 mc_model_checker_t MC_model_checker_new(pid_t pid, int socket)
@@ -39,3 +41,5 @@ unsigned long MC_smx_get_maxpid(void)
     &maxpid, sizeof(maxpid));
   return maxpid;
 }
+
+}