| Index: runtime/bin/vmservice/client/lib/src/elements/nav_bar.dart
|
| diff --git a/runtime/bin/vmservice/client/lib/src/elements/nav_bar.dart b/runtime/bin/vmservice/client/lib/src/elements/nav_bar.dart
|
| index fb241d4fae420e98fcd022b96e7d5f08b24bf11e..87e7e3563f93c165fc43f26ae056a250e8068631 100644
|
| --- a/runtime/bin/vmservice/client/lib/src/elements/nav_bar.dart
|
| +++ b/runtime/bin/vmservice/client/lib/src/elements/nav_bar.dart
|
| @@ -111,7 +111,7 @@ class LibraryNavMenuElement extends ObservatoryElement {
|
|
|
| @CustomTag('class-nav-menu')
|
| class ClassNavMenuElement extends ObservatoryElement {
|
| - @published ServiceMap cls;
|
| + @published Class cls;
|
| @published bool last = false;
|
|
|
| ClassNavMenuElement.created() : super.created();
|
|
|