Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
please sonar
[simgrid.git] / src / mc / LivenessChecker.cpp
index f573622..19e6347 100644 (file)
@@ -454,7 +454,7 @@ std::shared_ptr<Pair> 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()