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

Removed redundant normalization statement.

Browse Source
This commit is contained in:
Patrick Lühne 2016-09-04 23:52:06 +02:00
parent 3fa7b93d44
commit c2af84a800
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/expressions/Not.cpp
View File

@ -68,7 +68,7 @@ ExpressionPointer Not::negationNormalized()
{ {
auto &argument = dynamic_cast<Not &>(*m_argument); auto &argument = dynamic_cast<Not &>(*m_argument);
return argument.m_argument->negationNormalized(); return argument.m_argument;
} }
// De Morgan for negative conjunctions // De Morgan for negative conjunctions