| Index: runtime/observatory/lib/src/elements/script_view.dart
|
| diff --git a/runtime/observatory/lib/src/elements/script_view.dart b/runtime/observatory/lib/src/elements/script_view.dart
|
| index ff07a808461f05cbf1c6613a21b6bfcce089e676..c896b8df555836d55d6f83a5ac3920f7df419b7c 100644
|
| --- a/runtime/observatory/lib/src/elements/script_view.dart
|
| +++ b/runtime/observatory/lib/src/elements/script_view.dart
|
| @@ -20,8 +20,4 @@ class ScriptViewElement extends ObservatoryElement {
|
| Future refresh() {
|
| return script.reload();
|
| }
|
| -
|
| - Future refreshCoverage() {
|
| - return script.refreshCoverage();
|
| - }
|
| }
|
|
|