tree de2a8345e8a2884ba7dd659537e76823f1f84f3e
parent 0f521bb7500792d126355be3e8e21aa361fbc19b
author Tony Mack <tmack@paris.CS.Princeton.EDU> 1370886141 -0400
committer Tony Mack <tmack@paris.CS.Princeton.EDU> 1370886141 -0400

fix NameError