diff --git a/tools/std_gdb_pretty_printers.py b/tools/std_gdb_pretty_printers.py index a564de7c18429e4f1c3901c9b18728c7250ad0ae..d5cc619c01cd9bbbcd6ddfbe5439c467a9012a77 100644 --- a/tools/std_gdb_pretty_printers.py +++ b/tools/std_gdb_pretty_printers.py @@ -1,5 +1,5 @@ # pretty printing for the standard library. -# put "source /path/to/stage2_gdb_pretty_printers.py" in ~/.gdbinit to load it automatically. +# put "source /path/to/std_gdb_pretty_printers.py" in ~/.gdbinit to load it automatically. import re import gdb.printing