| Index: pkg/compiler/lib/src/platform_configuration.dart
|
| diff --git a/pkg/compiler/lib/src/platform_configuration.dart b/pkg/compiler/lib/src/platform_configuration.dart
|
| index 41da852868bfe3579e598475422b914864dad118..56a48dfb39bc4ab65a1843807cf7a38338f17d6f 100644
|
| --- a/pkg/compiler/lib/src/platform_configuration.dart
|
| +++ b/pkg/compiler/lib/src/platform_configuration.dart
|
| @@ -75,8 +75,9 @@ Map<String, Map<String, String>> parseIni(List<int> source,
|
| error("Section heading lines must end with ']'", endOfHeader + 1);
|
| }
|
| int startOfSectionName = startOfLine + 1;
|
| - String sectionName = new String.fromCharCodes(
|
| - source, startOfSectionName, endOfHeader).trim();
|
| + String sectionName =
|
| + new String.fromCharCodes(source, startOfSectionName, endOfHeader)
|
| + .trim();
|
| currentSection = new Map<String, String>();
|
| if (result.containsKey(sectionName)) {
|
| error("Duplicate section name '$sectionName'", startOfSectionName);
|
|
|