| 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);
|
|
|