diff --git a/gdb-port/parser-type-instrumentation-gdb.py b/gdb-port/parser-type-instrumentation-gdb.py index ab0732952e6cf0965f30bf192f87d8676431139d..7532a255df20364b285282160b93329a620a4ee4 100644 --- a/gdb-port/parser-type-instrumentation-gdb.py +++ b/gdb-port/parser-type-instrumentation-gdb.py @@ -118,14 +118,14 @@ class BindEnv(HParserEnv): self.parser = parser super().__init__(parser, top_level_parse) - member_parser_p = gdb.parse_and_eval("((HBindEnv *) parser->env)->p") + member_parser_p = gdb.parse_and_eval("((BindEnv *) parser->env)->p") parser_obj = top_level_parse.add_or_get_parser(member_parser_p) if parser_obj.name is None: parser_obj.name_parser( self.name_from_vtable(parser_obj) ) self.member_parser = parser_obj - continuation_p = gdb.parse_and_eval("((HBindEnv *) parser->env)->k") + continuation_p = gdb.parse_and_eval("((BindEnv *) parser->env)->k") self.continuation = int(continuation_p) - env_p = gdb.parse_and_eval("((HBindEnv *) parser->env)->env") + env_p = gdb.parse_and_eval("((BindEnv *) parser->env)->env") self.env = int(env_p) def __str__(self):