[issue454] Move condition in NegatedAxiom constructor.

aibasel · Feb 9, 2024 · 7216ab4 · 7216ab4
1 parent 69c1872
commit 7216ab4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/search/tasks/negated_axioms_task.h b/src/search/tasks/negated_axioms_task.h
@@ -18,8 +18,8 @@ struct NegatedAxiom {
     FactPair head;
     std::vector<FactPair> condition;
 
-    // TODO: move constructor?
-    NegatedAxiom(FactPair head, std::vector<FactPair> condition)
+    // TODO: clang suggested moving the second argument, is this correct? (clang doesn't complain at least :))
+    NegatedAxiom(FactPair head, std::vector<FactPair> &&condition)
         : head(head), condition(condition) {}
 };