X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/10ceac5fd14fb0426b5c93bda85676a79b02d0be..75ebde707b0c7b13d67e12e94a03d774ad37ba67:/src/mc/LivenessChecker.cpp diff --git a/src/mc/LivenessChecker.cpp b/src/mc/LivenessChecker.cpp index f573622cf1..19e634779c 100644 --- a/src/mc/LivenessChecker.cpp +++ b/src/mc/LivenessChecker.cpp @@ -454,7 +454,7 @@ std::shared_ptr LivenessChecker::newPair(Pair* current_pair, xbt_automaton next_pair->search_cycle = true; else next_pair->search_cycle = false; - return std::move(next_pair); + return next_pair; } void LivenessChecker::backtrack()