.

drexlerd · Feb 17, 2024 · d5012e9 · d5012e9
1 parent 434124d
commit d5012e9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/domain/pddl/parser/types.cpp b/src/domain/pddl/parser/types.cpp
@@ -175,8 +175,8 @@ pddl::TypeList TypeDeclarationTypedListOfNamesVisitor::operator()(const ast::Typ
                                             typed_list_of_names_recursively_node.type);
     auto type_list = parse_type_definitions(typed_list_of_names_recursively_node.names, parent_type_list, context);
     // Recursively add types.
-    const auto additional_types = boost::apply_visitor(*this, typed_list_of_names_recursively_node.typed_list_of_names.get());
-    type_list.insert(type_list.end(), additional_types.begin(), additional_types.end());
+    //const auto additional_types = boost::apply_visitor(*this, typed_list_of_names_recursively_node.typed_list_of_names.get());
+    //type_list.insert(type_list.end(), additional_types.begin(), additional_types.end());
     return type_list;
 }