X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/01565540f1e39584fb5714d4f4c361ff518917f1..69f8eb4aea98b46c7df3ca9a44bf46fc1ba2348b:/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_);