From 7e4a05e1db5f414cb05f39dc4bb767a08c5df906 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Wed, 1 Jun 2016 18:09:40 +0200 Subject: [PATCH] Assuming parent types to be declared properly. --- src/plasp/pddl/PrimitiveType.cpp | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/plasp/pddl/PrimitiveType.cpp b/src/plasp/pddl/PrimitiveType.cpp index e311f6d..92f8982 100644 --- a/src/plasp/pddl/PrimitiveType.cpp +++ b/src/plasp/pddl/PrimitiveType.cpp @@ -78,9 +78,8 @@ PrimitiveType &PrimitiveType::parseDeclaration(utils::Parser &parser, Context &c parentType.setDirty(false); - // Type object is an implicit primitive type - if (parentType.name() == "object") - parentType.setDeclared(); + // Flag parent tpe as correctly declared in the types section + parentType.setDeclared(); // Assign parent type to all types that were previously flagged std::for_each(context.primitiveTypes.begin(), context.primitiveTypes.end(),