tree 78b4bb48bf2f9a13b5dfc7fdc88e43e45a5e50c9
parent 364fedb63fee3b08918ccd2adb44dbf35cc42724
parent 74da5290dd5cc040bee5430796715bd9302036c2
author Aart Bik <ajcbik@google.com> 1482266780 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1482266780 +0000

Merge "Fix transfer over rejected induction."