tree 02cf7469748a8a2741fae1d2c998dc698fcf6196
parent ad5ed9e79e1ec43007b47befcf5173a9aad97d67
author Tony Mack <tmack@paris.CS.Princeton.EDU> 1380130457 -0400
committer Tony Mack <tmack@paris.CS.Princeton.EDU> 1380130457 -0400

remove redundant check