tree 1416350e9b7d05269bd048a61070961c209edcac
parent 2b3025c33e5560c6ea96c14dd52430d77588a461
author Tony Mack <tmack@paris.CS.Princeton.EDU> 1365451024 -0400
committer Tony Mack <tmack@paris.CS.Princeton.EDU> 1365451024 -0400

fix NameError