| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/DartUriResolver.java
|
| ===================================================================
|
| --- editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/DartUriResolver.java (revision 16603)
|
| +++ editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/source/DartUriResolver.java (working copy)
|
| @@ -58,6 +58,6 @@
|
| return null;
|
| }
|
| File resolvedFile = sdk.mapDartUri(uri.toString());
|
| - return new SourceImpl(factory, resolvedFile, true);
|
| + return new FileBasedSource(factory, resolvedFile, true);
|
| }
|
| }
|
|
|