| Index: runtime/observatory/lib/src/elements/objectpool_view.dart
|
| diff --git a/runtime/observatory/lib/src/elements/objectpool_view.dart b/runtime/observatory/lib/src/elements/objectpool_view.dart
|
| index 24ac0477eb2b3df45fca3d0c7752b24866b0fd4f..890b5d1c2b5c18d8c289fc034c4903871fdf5223 100644
|
| --- a/runtime/observatory/lib/src/elements/objectpool_view.dart
|
| +++ b/runtime/observatory/lib/src/elements/objectpool_view.dart
|
| @@ -128,7 +128,7 @@ class ObjectPoolViewElement extends HtmlElement implements Renderable {
|
| ]),
|
| new DivElement()..classes = ['content-centered-big']
|
| ..children = [
|
| - new HeadingElement.h2()..text = 'Object Pool',
|
| + new HeadingElement.h2()..text = 'ObjectPool',
|
| new HRElement(),
|
| new ObjectCommonElement(_isolate, _pool, _retainedSizes,
|
| _reachableSizes, _references, _retainingPaths,
|
|
|