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

Assuming parent types to be declared properly.

Browse Source
This commit is contained in:
Patrick Lühne 2016-06-01 18:09:40 +02:00
parent 0a4541a401
commit 7e4a05e1db
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/plasp/pddl/PrimitiveType.cpp
View File

@ -78,8 +78,7 @@ PrimitiveType &PrimitiveType::parseDeclaration(utils::Parser &parser, Context &c
parentType.setDirty(false); parentType.setDirty(false);
// Type object is an implicit primitive type // Flag parent tpe as correctly declared in the types section
if (parentType.name() == "object")
parentType.setDeclared(); parentType.setDeclared();
// Assign parent type to all types that were previously flagged // Assign parent type to all types that were previously flagged