From fcb9aa0a768543f309a7abcf4239c82701f82051 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Sat, 24 Jun 2017 17:35:52 +0200 Subject: [PATCH] Added missing forward declaration. --- lib/pddlparse/src/pddlparse/detail/normalization/Reduction.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/pddlparse/src/pddlparse/detail/normalization/Reduction.cpp b/lib/pddlparse/src/pddlparse/detail/normalization/Reduction.cpp index ba55898..6e004b8 100644 --- a/lib/pddlparse/src/pddlparse/detail/normalization/Reduction.cpp +++ b/lib/pddlparse/src/pddlparse/detail/normalization/Reduction.cpp @@ -23,6 +23,7 @@ namespace detail void eliminateImply(ast::Precondition &precondition); void negationNormalize(ast::Precondition &precondition); +void eliminateForAll(ast::Precondition &precondition); ////////////////////////////////////////////////////////////////////////////////////////////////////