From 33e61beb4fb87a838beaeba254189308c409d987 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Thu, 8 Dec 2016 02:59:20 +0100
Subject: [PATCH] Fixed bug related to decomposing quantified expression.

---
 include/plasp/pddl/expressions/Quantified.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<class Derived>
 inline ExpressionPointer QuantifiedCRTP<Derived>::decomposed(DerivedPredicates &derivedPredicates)
 {
 	derivedPredicates.emplace_back(new DerivedPredicate(derivedPredicates.size()));
-	auto &derivedPredicate = derivedPredicates.back();
+	auto derivedPredicate = derivedPredicates.back();
 
 	m_argument = m_argument->decomposed(derivedPredicates);