| Index: compiler/java/com/google/dart/compiler/common/SourceInfo.java
|
| ===================================================================
|
| --- compiler/java/com/google/dart/compiler/common/SourceInfo.java (revision 6128)
|
| +++ compiler/java/com/google/dart/compiler/common/SourceInfo.java (working copy)
|
| @@ -71,7 +71,6 @@
|
| try {
|
| reader = new BufferedReader(source.getSourceReader());
|
| int offset = 0;
|
| - boolean ignoreLF = false;
|
| List<Integer> lineOffsets = Lists.newArrayList(0);
|
| while (true) {
|
| int charValue = reader.read();
|
| @@ -80,8 +79,7 @@
|
| }
|
| offset++;
|
| char c = (char) charValue;
|
| - ignoreLF = c == '\n';
|
| - if (c == '\n' || c == '\r' && !ignoreLF) {
|
| + if (c == '\n') {
|
| lineOffsets.add(offset);
|
| }
|
| }
|
|
|