| Index: editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SearchResult.java
|
| diff --git a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SearchResult.java b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SearchResult.java
|
| index 10712f2a1ca5d5e99abe0c8ffc6400b2e7521494..4b201b13b94ed1e6793eed4d207e4e437f04930b 100644
|
| --- a/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SearchResult.java
|
| +++ b/editor/tools/plugins/com.google.dart.server/src/com/google/dart/server/generated/types/SearchResult.java
|
| @@ -113,7 +113,7 @@ public class SearchResult {
|
| * all references to a method m defined in some class were requested, and a reference to a method m
|
| * from an unknown class were found, it would be marked as being a potential match.
|
| */
|
| - public Boolean getIsPotential() {
|
| + public Boolean isIsPotential() {
|
| return isPotential;
|
| }
|
|
|
|
|