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);
 
 ////////////////////////////////////////////////////////////////////////////////////////////////////