X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/736185da44c7c9e4242f4cb34cea10c9f51ae3a2..3a54b6d1aef3110883b46f912b3a4eeb5c9fb087:/src/mc/mc_state.c diff --git a/src/mc/mc_state.c b/src/mc/mc_state.c index a78a72e8cf..59cca4e6cc 100644 --- a/src/mc/mc_state.c +++ b/src/mc/mc_state.c @@ -1,4 +1,4 @@ -/* Copyright (c) 2008-2012 Da SimGrid Team. All rights reserved. */ +/* Copyright (c) 2008-2013 Da SimGrid Team. All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ @@ -23,18 +23,6 @@ mc_state_t MC_state_new() return state; } -mc_state_t MC_state_pair_new(void) -{ - mc_state_t state = NULL; - - state = xbt_new0(s_mc_state_t, 1); - state->max_pid = simix_process_maxpid; - state->proc_status = xbt_new0(s_mc_procstate_t, state->max_pid); - - //mc_stats->expanded_states++; - return state; -} - /** * \brief Deletes a state data structure * \param trans The state to be deleted