tree 502f7a3c9622e08b6f8c7e7055af15709cb8e6d5
parent 1724b6484cb94829a63ab02d1d608a269844c74c
author Tony Mack <tmack@paris.CS.Princeton.EDU> 1365522669 -0400
committer Tony Mack <tmack@paris.CS.Princeton.EDU> 1365522669 -0400

fix NameError