diff --git a/gdb-port/parser-type-instrumentation-gdb.py b/gdb-port/parser-type-instrumentation-gdb.py index 039b921478f1c2677ed113a73eb69ab68fe66e2b..ba1a01c394306cf110d829a0831913937445fbc5 100644 --- a/gdb-port/parser-type-instrumentation-gdb.py +++ b/gdb-port/parser-type-instrumentation-gdb.py @@ -96,7 +96,8 @@ class SequenceEnv(HParserEnv): for index in range(0, num_parsers): parser_p = gdb.parse_and_eval("((HSequence*) parser->env)->p_array[" + str(index) + "]") parser_obj = top_level_parse.add_or_get_parser(parser_p) - parser_obj.name_parser( self.name_from_vtable(parser_obj) ) + if parser_obj.name is None: + parser_obj.name_parser( self.name_from_vtable(parser_obj) ) self.member_parsers.append(parser_obj) def __str__(self):