tools: fix outdated filename in std_gdb_pretty_printers.py comment
1 files changed, 1 insertions(+), 1 deletions(-)
tools
tools/std_gdb_pretty_printers.py+1-1
| ... | @@ -1,5 +1,5 @@ | ... | @@ -1,5 +1,5 @@ |
| 1 | # pretty printing for the standard library. | 1 | # pretty printing for the standard library. |
| 2 | # put "source /path/to/stage2_gdb_pretty_printers.py" in ~/.gdbinit to load it automatically. | 2 | # put "source /path/to/std_gdb_pretty_printers.py" in ~/.gdbinit to load it automatically. |
| 3 | import re | 3 | import re |
| 4 | import gdb.printing | 4 | import gdb.printing |
| 5 | | 5 | |
regp <regp@gmail.com> 2026-04-11 17:27:02+03:00