diff --git a/gdb-port/parser-type-instrumentation-gdb.py b/gdb-port/parser-type-instrumentation-gdb.py index 122f076f3734a9bf85da0effef88751ec30d8770..b2787f2f4a11e8fb0e9beff7cfd513dc0fe0b300 100644 --- a/gdb-port/parser-type-instrumentation-gdb.py +++ b/gdb-port/parser-type-instrumentation-gdb.py @@ -157,7 +157,7 @@ class AndEnv(HParserEnv): def __init__(self, parser, top_level_parse): self.parser = parser - member_parser_p = gdb.parse_and_eval("(HParser*) parser->env"); + member_parser_p = gdb.parse_and_eval("(HParser*) parser->env") parser_obj = top_level_parse.add_or_get_parser(member_parser_p) self.member_parser = parser_obj super().__init__(parser, top_level_parse)