From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Wed, 6 Apr 2016 12:15:02 +0000 (+0200)
Subject: [mc] Remove MC_state_remove_interleave_process() (not used)
X-Git-Tag: v3_13~148
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/98d2f4bc9ec0e7394f0c0e54f378353081193efe?ds=sidebyside;hp=928c7d925f7dd44da445d7032934577ac4d88770

[mc] Remove MC_state_remove_interleave_process() (not used)
---

diff --git a/src/mc/mc_state.cpp b/src/mc/mc_state.cpp
index a3420467a6..5967f1a3a3 100644
--- a/src/mc/mc_state.cpp
+++ b/src/mc/mc_state.cpp
@@ -69,12 +69,6 @@ void MC_state_interleave_process(simgrid::mc::State* state, smx_process_t proces
   state->processStates[process->pid].interleave_count = 0;
 }
 
-void MC_state_remove_interleave_process(simgrid::mc::State* state, smx_process_t process)
-{
-  if (state->processStates[process->pid].state == simgrid::mc::ProcessInterleaveState::interleave)
-    state->processStates[process->pid].state = simgrid::mc::ProcessInterleaveState::done;
-}
-
 void MC_state_set_executed_request(simgrid::mc::State* state, smx_simcall_t req,
                                    int value)
 {
diff --git a/src/mc/mc_state.h b/src/mc/mc_state.h
index 95e1af979c..3fb62da892 100644
--- a/src/mc/mc_state.h
+++ b/src/mc/mc_state.h
@@ -124,6 +124,5 @@ XBT_PRIVATE void MC_state_set_executed_request(simgrid::mc::State* state, smx_si
 XBT_PRIVATE smx_simcall_t MC_state_get_executed_request(simgrid::mc::State* state, int *value);
 XBT_PRIVATE smx_simcall_t MC_state_get_internal_request(simgrid::mc::State* state);
 XBT_PRIVATE smx_simcall_t MC_state_get_request(simgrid::mc::State* state, int *value);
-XBT_PRIVATE void MC_state_remove_interleave_process(simgrid::mc::State* state, smx_process_t process);
 
 #endif