Chromium Code Reviews| Index: tools/ddbg.dart |
| diff --git a/tools/ddbg.dart b/tools/ddbg.dart |
| index 7bef6048c61a078debdadc451520a3bf5809528d..bb09a5d68848d3fab4ef407d55d0c9fd34b0a057 100644 |
| --- a/tools/ddbg.dart |
| +++ b/tools/ddbg.dart |
| @@ -455,7 +455,7 @@ int jsonObjectLength(String string) { |
| while (index < string.length) { |
| String char = string[index]; |
| if (char == '"') return index + 1; |
| - if (char == @'\') index++; |
| + if (char == r'\') index++; |
| if (index == string.length) return index; |
| index++; |
| } |