From 188165bc4dbc3972e69d92b32e959aff274e777d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Tue, 7 Jun 2016 16:14:17 +0200 Subject: [PATCH] Added fix for gcc. --- src/plasp/pddl/Domain.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/plasp/pddl/Domain.cpp b/src/plasp/pddl/Domain.cpp index d1492b3..c1cd60f 100644 --- a/src/plasp/pddl/Domain.cpp +++ b/src/plasp/pddl/Domain.cpp @@ -358,7 +358,7 @@ void Domain::checkConsistency() const auto acceptType = [&](const auto *type) { - return ((type == nullptr) != hasRequirement(Requirement::Type::Typing)); + return ((type == nullptr) != this->hasRequirement(Requirement::Type::Typing)); }; std::for_each(m_constants.cbegin(), m_constants.cend(),