| Index: runtime/observatory/lib/src/elements/library_view.dart
|
| diff --git a/runtime/observatory/lib/src/elements/library_view.dart b/runtime/observatory/lib/src/elements/library_view.dart
|
| index 6b43ae3a5700d2f17f868ed1af4d167124d5af26..3c9a256dd23f558cbdd82fde7f957f17fc0058bc 100644
|
| --- a/runtime/observatory/lib/src/elements/library_view.dart
|
| +++ b/runtime/observatory/lib/src/elements/library_view.dart
|
| @@ -30,8 +30,4 @@ class LibraryViewElement extends ObservatoryElement {
|
| library.variables.forEach((variable) => loads.add(variable.reload()));
|
| return Future.wait(loads);
|
| }
|
| -
|
| - Future refreshCoverage() {
|
| - return library.refreshCoverage();
|
| - }
|
| }
|
|
|