| Index: bin/library_size_split.dart
 | 
| diff --git a/bin/library_size_split.dart b/bin/library_size_split.dart
 | 
| index 62280858725e3b9afda00abb3ab923d1da49f2fa..8dd419aa8bd665014bee82ea538a0d4b682f14ae 100644
 | 
| --- a/bin/library_size_split.dart
 | 
| +++ b/bin/library_size_split.dart
 | 
| @@ -75,7 +75,7 @@ main(args) {
 | 
|  
 | 
|    var filename = args[0];
 | 
|    var json = JSON.decode(new File(filename).readAsStringSync());
 | 
| -  var info = new AllInfo.fromJson(json);
 | 
| +  var info = new AllInfoJsonCodec().decode(json);
 | 
|  
 | 
|    var groupingText =
 | 
|        args.length > 1 ? new File(args[1]).readAsStringSync() : defaultGrouping;
 | 
| 
 |