tree 070358cc4eca014ab47100586e16f7abf13f11e7
parent 6f2a7579cc46a5b435b2cf4d527d49c77f040ded
author Kenn Hussey <Kenn.Hussey@gmail.com> 1369155366 -0400
committer Kenn Hussey <Kenn.Hussey@gmail.com> 1369155366 -0400

[408610] Fixing look-up of nested redefinition details.