tree d526115964edbfdabc1ffec3d8c78097ca35d373
parent 27812cb1a0cb338dbc2fd123d32104ab6670e770
author Tony Mack <tmack@paris.CS.Princeton.EDU> 1365470272 -0400
committer Tony Mack <tmack@paris.CS.Princeton.EDU> 1365470272 -0400

fix NameError