tree 700844287a5f6abe763b99e099fc2a195e7c0caa
parent 7c972e5a58c477739a021b518ec723c53e9fadfa
author Tony Mack <tmack@paris.CS.Princeton.EDU> 1395835814 -0400
committer Tony Mack <tmack@paris.CS.Princeton.EDU> 1395835814 -0400

fix attribute error