From c29cdb67243ee8160f8043b645713c772a585adb Mon Sep 17 00:00:00 2001 From: Dominik Drexler Date: Sun, 15 Oct 2023 17:54:17 +0200 Subject: [PATCH] added error handler correctly --- src/core/parsers/elements/stage_1_ast/parser_def.hpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/parsers/elements/stage_1_ast/parser_def.hpp b/src/core/parsers/elements/stage_1_ast/parser_def.hpp index d6bcd7f1..e226dfb4 100644 --- a/src/core/parsers/elements/stage_1_ast/parser_def.hpp +++ b/src/core/parsers/elements/stage_1_ast/parser_def.hpp @@ -347,7 +347,7 @@ namespace dlplan::core::parsers::elements::stage_1::parser struct TopRoleClass : x3::annotate_on_success {}; struct TransitiveClosureRoleClass : x3::annotate_on_success {}; struct TransitiveReflexiveClosureRoleClass : x3::annotate_on_success {}; - struct Element : x3::annotate_on_success, error_handler_base {}; + struct ElementClass : x3::annotate_on_success, error_handler_base {}; } namespace dlplan::core::parsers::elements::stage_1