tree a8ffd5fd966512fd280bc1b3214f4e57a9e1805f
parent 92095533ac28879ddd8b44b559d700527ca12b8a
parent d6138ef1ea13d07ae555542f8898b30d89e9ac9a
author Nicolas Geoffray <ngeoffray@google.com> 1424354519 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1424354519 +0000

Merge "Ensure the graph is correctly typed."