tree 20942deba212bf4cfa308f2068c005172392a9e5
parent 5271d6bbc679aec254df50b04f7c05d7a9e9bffa
author Tony Mack <tmack@paris.CS.Princeton.EDU> 1365395750 -0400
committer Tony Mack <tmack@paris.CS.Princeton.EDU> 1365395750 -0400

fix NameError