tree e2cead1ad58b483fd55364ceb588e0493db2f5f3
parent 7287097c3f388290b2a13b429f69101352fec654
author Tony Mack <tmack@paris.CS.Princeton.EDU> 1365471373 -0400
committer Tony Mack <tmack@paris.CS.Princeton.EDU> 1365471373 -0400

fix NameError