| Index: dart/runtime/bin/vmservice/client/lib/src/observatory_elements/isolate_summary.dart
 | 
| ===================================================================
 | 
| --- dart/runtime/bin/vmservice/client/lib/src/observatory_elements/isolate_summary.dart	(revision 31530)
 | 
| +++ dart/runtime/bin/vmservice/client/lib/src/observatory_elements/isolate_summary.dart	(working copy)
 | 
| @@ -9,7 +9,7 @@
 | 
|  
 | 
|  @CustomTag('isolate-summary')
 | 
|  class IsolateSummaryElement extends ObservatoryElement {
 | 
| -  @published int isolate;
 | 
| +  @published String isolate;
 | 
|    @published String name = '';
 | 
|  
 | 
|    IsolateSummaryElement.created() : super.created();
 | 
| 
 |