| Index: tools/gdb/gdb_chrome.py
|
| diff --git a/tools/gdb/gdb_chrome.py b/tools/gdb/gdb_chrome.py
|
| index 2c7c3717fb41f11f6a232818745edc67078935fc..8c5405c5d0a15930b1b8f5a6bd039bcfacc8d29b 100644
|
| --- a/tools/gdb/gdb_chrome.py
|
| +++ b/tools/gdb/gdb_chrome.py
|
| @@ -60,7 +60,7 @@ class String16Printer(StringPrinter):
|
| return webkit.ustring_to_string(self.val['_M_dataplus']['_M_p'])
|
| pp_set.add_printer(
|
| 'string16',
|
| - '^string16|std::basic_string<(unsigned short|char16|base::char16).*>$',
|
| + '^string16|std::basic_string<(unsigned short|base::char16).*>$',
|
| String16Printer);
|
|
|
|
|
|
|