From d56dcaa0f75999a72b8ad6676b64a54e4f7c4a45 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 15 Mar 2016 14:09:32 +0100
Subject: [PATCH] [mc] Remove remaining bits of parmap in MC (not used)

---
 src/mc/ModelChecker.cpp | 3 ---
 src/mc/mc_liveness.cpp  | 2 --
 src/mc/mc_private.h     | 2 --
 3 files changed, 7 deletions(-)

diff --git a/src/mc/ModelChecker.cpp b/src/mc/ModelChecker.cpp
index 6ff138a051..4489b8473e 100644
--- a/src/mc/ModelChecker.cpp
+++ b/src/mc/ModelChecker.cpp
@@ -118,9 +118,6 @@ void ModelChecker::start()
   if ((_sg_mc_dot_output_file != nullptr) && (_sg_mc_dot_output_file[0] != '\0'))
     MC_init_dot_output();
 
-  /* Init parmap */
-  //parmap = xbt_parmap_mc_new(xbt_os_get_numcores(), XBT_PARMAP_DEFAULT);
-
   setup_ignore();
 
   ptrace(PTRACE_SETOPTIONS, pid, nullptr, PTRACE_O_TRACEEXIT);
diff --git a/src/mc/mc_liveness.cpp b/src/mc/mc_liveness.cpp
index bce2296b7e..c9202f5c9a 100644
--- a/src/mc/mc_liveness.cpp
+++ b/src/mc/mc_liveness.cpp
@@ -13,7 +13,6 @@
 #include <xbt/dynar.h>
 #include <xbt/fifo.h>
 #include <xbt/log.h>
-#include <xbt/parmap.h>
 #include <xbt/sysdep.h>
 
 #include "src/mc/mc_request.h"
@@ -32,7 +31,6 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_liveness, mc,
 /********* Global variables *********/
 
 xbt_dynar_t acceptance_pairs;
-xbt_parmap_t parmap;
 
 /********* Static functions *********/
 
diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index 24548e0722..189e52f014 100644
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -21,7 +21,6 @@
 #include <simgrid/msg.h>
 #include <xbt/fifo.h>
 #include <xbt/config.h>
-#include <xbt/parmap.h>
 #include <xbt/base.h>
 
 #include "mc/mc.h"
@@ -46,7 +45,6 @@ XBT_PRIVATE void MC_init_dot_output();
 
 XBT_PRIVATE extern FILE *dot_output;
 XBT_PRIVATE extern const char* colors[13];
-XBT_PRIVATE extern xbt_parmap_t parmap;
 
 XBT_PRIVATE extern int user_max_depth_reached;
 
-- 
2.20.1