diff --git a/gdb-port/top-level-parse.py b/gdb-port/top-level-parse.py index 0d9e9f22925848583d26c21f4536142c6fb49ff5..10fbe0dfe018c4c419dd10622f5395141f101ac0 100644 --- a/gdb-port/top-level-parse.py +++ b/gdb-port/top-level-parse.py @@ -97,8 +97,6 @@ class TopLevelParse: if old_stack.depth() > 0: print("Warning: parser stack not empty but parse is successful?") - print("parser stacks:", self.parser_stacks) - print("popping index tree stack") self.input_stream_indices = self.index_tree_stack.pop() self.input_index_tree_path = self.input_index_tree_path_stack.pop()