Index: runtime/bin/vmservice/client/lib/src/elements/script_view.html |
diff --git a/runtime/bin/vmservice/client/lib/src/elements/script_view.html b/runtime/bin/vmservice/client/lib/src/elements/script_view.html |
index c251423151c3079ac72ad3269417efa7705f8949..2c2c64a0fbe53c06a666357429417ed3b30633a1 100644 |
--- a/runtime/bin/vmservice/client/lib/src/elements/script_view.html |
+++ b/runtime/bin/vmservice/client/lib/src/elements/script_view.html |
@@ -9,7 +9,6 @@ |
<top-nav-menu></top-nav-menu> |
<isolate-nav-menu isolate="{{ script.isolate }}"> |
</isolate-nav-menu> |
- <library-nav-menu library="{{ script.library }}"></library-nav-menu> |
<nav-menu link="." anchor="{{ script.name }}" last="{{ true }}"> |
<li> |
<input type="checkbox" checked="{{ showCoverage }}"> |