tree 214a0afcf1acdba0de579774de843726438c0f04
parent ef301973ce42ce2c08223cd46b74cb29da18a926
author Tony Mack <tmack@paris.CS.Princeton.EDU> 1365489874 -0400
committer Tony Mack <tmack@paris.CS.Princeton.EDU> 1365489874 -0400

fix NameError