| Index: compiler/java/com/google/dart/compiler/resolver/CoreTypeProvider.java
|
| diff --git a/compiler/java/com/google/dart/compiler/resolver/CoreTypeProvider.java b/compiler/java/com/google/dart/compiler/resolver/CoreTypeProvider.java
|
| index aa4955ed2646e31c7e14af76547065e41ad69545..ac7dbfcb15ae2c7e0e334b839aa90aceafce1167 100644
|
| --- a/compiler/java/com/google/dart/compiler/resolver/CoreTypeProvider.java
|
| +++ b/compiler/java/com/google/dart/compiler/resolver/CoreTypeProvider.java
|
| @@ -45,6 +45,4 @@ public interface CoreTypeProvider {
|
| InterfaceType getNumType();
|
|
|
| InterfaceType getStringImplementationType();
|
| -
|
| - InterfaceType getIsolateType();
|
| }
|
|
|