diff --git a/gdb-port/parser-name-instrumentation-gdb.py b/gdb-port/parser-name-instrumentation-gdb.py index bf886b226de1d39e4e7f457263b14e7830d19ccb..ea3dbfd827480190b9e08ecaff80ec2c2dddd2a7 100644 --- a/gdb-port/parser-name-instrumentation-gdb.py +++ b/gdb-port/parser-name-instrumentation-gdb.py @@ -168,7 +168,7 @@ class TopLevelParse: parser_stack.push(parser_obj) if self.parser_decombinator: p_env = self.parser_decombinator.decompose_parser(parser_obj, self) - self.set_parser_env(str(p_env)) + self.set_parser_env(type(p_env).__name__ + " - " + str(p_env)) # TODO: indicate parser vtable type return parser_obj def return_from_perform_lowlevel_parse(self):