From 729ecc9475043398d6ef7fe8aa95f6fe25660046 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Tue, 27 Jun 2017 11:34:53 +0200
Subject: [PATCH] Added missing recursion step in PDDL reduction.

---
 lib/pddlparse/src/pddlparse/detail/normalization/Reduction.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/pddlparse/src/pddlparse/detail/normalization/Reduction.cpp b/lib/pddlparse/src/pddlparse/detail/normalization/Reduction.cpp
index 15aa752..26f0a50 100644
--- a/lib/pddlparse/src/pddlparse/detail/normalization/Reduction.cpp
+++ b/lib/pddlparse/src/pddlparse/detail/normalization/Reduction.cpp
@@ -237,9 +237,10 @@ void eliminateForAll(ast::Precondition &precondition)
 	const auto handleForAll =
 		[&](ast::ForAllPointer<ast::Precondition> &forAll)
 		{
+			eliminateForAll(forAll->argument);
+
 			auto negatedArgument = std::make_unique<ast::Not<ast::Precondition>>(std::move(forAll->argument));
 			auto exists = std::make_unique<ast::Exists<ast::Precondition>>(std::move(forAll->parameters), std::move(negatedArgument));
-
 			precondition = std::make_unique<ast::Not<ast::Precondition>>(std::move(exists));
 		};