| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/FileBasedSource.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/FileBasedSource.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/FileBasedSource.java
|
| index 9c8f4d18ca890898a18b8fd186ae39113af56224..0890e3f88fe72cd7afca2f739b84a4ff425247f5 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/FileBasedSource.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/FileBasedSource.java
|
| @@ -180,7 +180,7 @@ public class FileBasedSource implements Source {
|
| * @throws Exception if the contents of this source could not be accessed
|
| * @see #getContents()
|
| */
|
| - @DartBlockBody({"return new TimestampedData<String>(_file.lastModified(), _file.readAsStringSync());"})
|
| + @DartBlockBody({"return new TimestampedData<String>(file.lastModified(), file.readAsStringSync());"})
|
| protected TimestampedData<CharSequence> getContentsFromFile() throws Exception {
|
| String contents;
|
| long modificationTime = file.lastModified();
|
|
|