avoid copy of trs

speckdavid · May 2, 2024 · 31d480e · 31d480e
1 parent 5c27e1a
commit 31d480e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/search/symbolic/sym_transition_relations.cc b/src/search/symbolic/sym_transition_relations.cc
@@ -172,7 +172,7 @@ void SymTransitionRelations::move_monolithic_conj_transitions() {
         }
     }
 
-    individual_conj_transitions = new_individual_conj_transitions;
+    individual_conj_transitions = move(new_individual_conj_transitions);
 }
 
 template<class T>