diff --git a/include/plasp/pddl/expressions/Quantified.h b/include/plasp/pddl/expressions/Quantified.h index 92f8d9e..ded7432 100644 --- a/include/plasp/pddl/expressions/Quantified.h +++ b/include/plasp/pddl/expressions/Quantified.h @@ -198,7 +198,7 @@ template inline ExpressionPointer QuantifiedCRTP::decomposed(DerivedPredicates &derivedPredicates) { derivedPredicates.emplace_back(new DerivedPredicate(derivedPredicates.size())); - auto &derivedPredicate = derivedPredicates.back(); + auto derivedPredicate = derivedPredicates.back(); m_argument = m_argument->decomposed(derivedPredicates);