patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Added fix for gcc.

Browse Source
This commit is contained in:
Patrick Lühne 2016-06-07 16:14:17 +02:00
parent e6ddad5960
commit 188165bc4d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/plasp/pddl/Domain.cpp
View File

@ -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(),