From 7216ab4ba95fce31abc62a3c31b865c8edef9e88 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Salom=C3=A9=20Eriksson?= <salome.eriksson@unibas.ch>
Date: Fri, 9 Feb 2024 11:34:58 +0100
Subject: [PATCH] [issue454] Move condition in NegatedAxiom constructor.

---
 src/search/tasks/negated_axioms_task.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/search/tasks/negated_axioms_task.h b/src/search/tasks/negated_axioms_task.h
index b722ec0696..8015c5102f 100644
--- 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) {}
 };