diff options
| author | Stein Somers <stein@debby.fritz.box> | 2020-03-22 20:10:48 +0000 |
|---|---|---|
| committer | Stein Somers <stein@debby.fritz.box> | 2020-03-26 23:09:20 +0000 |
| commit | 3d435d802376f1136ba191a1ead46cec1bd00fe0 (patch) | |
| tree | f8e7b3e87e735a9307441279188882f3819f9944 /src/etc | |
| parent | 37c945dd6178cb520eb1e450a795f8c3b3cc5a3b (diff) | |
| download | rust-3d435d802376f1136ba191a1ead46cec1bd00fe0.tar.gz rust-3d435d802376f1136ba191a1ead46cec1bd00fe0.zip | |
Test and fix gdb pretty printing again
Diffstat (limited to 'src/etc')
| -rwxr-xr-x | src/etc/gdb_rust_pretty_printing.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/etc/gdb_rust_pretty_printing.py b/src/etc/gdb_rust_pretty_printing.py index 51dfc3fff3f..d580329cb50 100755 --- a/src/etc/gdb_rust_pretty_printing.py +++ b/src/etc/gdb_rust_pretty_printing.py @@ -374,7 +374,7 @@ class RustStdBTreeSetPrinter(object): innermap = GdbValue(self.__val.get_wrapped_value()['map']) if innermap.get_wrapped_value()['length'] > 0: root = GdbValue(innermap.get_wrapped_value()['root']) - type_name = str(root.type.ty.name).replace('core::option::Option<', '')[:-1] + type_name = str(root.type.ty.name).replace('core::option::Option<', '', 1)[:-1] root = root.get_wrapped_value().cast(gdb.lookup_type(type_name)) node_ptr = root['node'] i = 0 @@ -398,7 +398,7 @@ class RustStdBTreeMapPrinter(object): def children(self): if self.__val.get_wrapped_value()['length'] > 0: root = GdbValue(self.__val.get_wrapped_value()['root']) - type_name = str(root.type.ty.name).replace('core::option::Option<', '')[:-1] + type_name = str(root.type.ty.name).replace('core::option::Option<', '', 1)[:-1] root = root.get_wrapped_value().cast(gdb.lookup_type(type_name)) node_ptr = root['node'] i = 0 |