| Index: bin/verify_deps.dart
 | 
| diff --git a/bin/verify_deps.dart b/bin/verify_deps.dart
 | 
| index 3da8ece9da39767e7e7d7a1b44b9104e2bc3f11b..61542c70d16bef833cc8db9288960b63e638bd12 100644
 | 
| --- a/bin/verify_deps.dart
 | 
| +++ b/bin/verify_deps.dart
 | 
| @@ -24,7 +24,7 @@ Future main(List<String> args) async {
 | 
|      exit(1);
 | 
|    }
 | 
|    var json = JSON.decode(await new File(args[0]).readAsString());
 | 
| -  var info = new AllInfo.fromJson(json);
 | 
| +  var info = new AllInfoJsonCodec().decode(json);
 | 
|    var graph = graphFromInfo(info);
 | 
|    var entrypoint = info.program.entrypoint;
 | 
|    var reachables = findReachable(graph, entrypoint);
 | 
| 
 |