| Index: sdk/lib/_internal/compiler/implementation/source_map_builder.dart
|
| diff --git a/sdk/lib/_internal/compiler/implementation/source_map_builder.dart b/sdk/lib/_internal/compiler/implementation/source_map_builder.dart
|
| index 498c9fbc4926ddcedf28bb5208c979642cfc64e7..06a6ca02c00852f85c8321ed5169aafc729da4da 100644
|
| --- a/sdk/lib/_internal/compiler/implementation/source_map_builder.dart
|
| +++ b/sdk/lib/_internal/compiler/implementation/source_map_builder.dart
|
| @@ -57,9 +57,9 @@ class SourceMapBuilder {
|
| buffer.add('[');
|
| for (String string in strings) {
|
| if (!first) buffer.add(',');
|
| - buffer.add('"');
|
| - writeJsonEscapedCharsOn(string, buffer);
|
| - buffer.add('"');
|
| + buffer.add("'");
|
| + writeJsonEscapedCharsOn(string.charCodes.iterator(), buffer, null);
|
| + buffer.add("'");
|
| first = false;
|
| }
|
| buffer.add(']');
|
|
|