tree d691be8352e09a7c565c9237429e4737f0ddac05
parent 2605ceef0ba94e36c0a5f48b11ce4a0e7ee52745
author Tony Mack <tmack@paris.CS.Princeton.EDU> 1365489449 -0400
committer Tony Mack <tmack@paris.CS.Princeton.EDU> 1365489449 -0400

fix NameError