X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2dab73b61a6ad4feb7d2d267bf5621c7b95926b3..d954f6b7bcf8a03a4cd383ea8684ef63c7b86e5f:/src/mc/VisitedState.cpp diff --git a/src/mc/VisitedState.cpp b/src/mc/VisitedState.cpp index 2216f0793d..1f30705589 100644 --- a/src/mc/VisitedState.cpp +++ b/src/mc/VisitedState.cpp @@ -47,8 +47,7 @@ void VisitedStates::prune() std::unique_ptr VisitedStates::addVisitedState(unsigned long state_number, simgrid::mc::State* graph_state, bool compare_snapshots) { - std::unique_ptr new_state = - std::unique_ptr(new VisitedState(state_number)); + auto new_state = std::make_unique(state_number); graph_state->system_state_ = new_state->system_state; XBT_DEBUG("Snapshot %p of visited state %d (exploration stack state %d)", new_state->system_state.get(), new_state->num, graph_state->num_);