[mc] Switch to C++

[simgrid.git] / 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 98aa299..45b13b2 100644 (file)
--- 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;
 }
+
+}