Index: bin/verify_deps.dart |
diff --git a/bin/verify_deps.dart b/bin/verify_deps.dart |
index 3da8ece9da39767e7e7d7a1b44b9104e2bc3f11b..8deed307c1b8fd88d4dfd032ae322ef04422dd49 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 JsonInfoCodec().decode(json); |
var graph = graphFromInfo(info); |
var entrypoint = info.program.entrypoint; |
var reachables = findReachable(graph, entrypoint); |