| commit | 68e818d7784c2c1950962f9890c8ee3ef0685924 | [log] [tgz] |
|---|---|---|
| author | Tony Mack <tmack@paris.CS.Princeton.EDU> | Wed Sep 25 13:34:17 2013 -0400 |
| committer | Tony Mack <tmack@paris.CS.Princeton.EDU> | Wed Sep 25 13:34:17 2013 -0400 |
| tree | 02cf7469748a8a2741fae1d2c998dc698fcf6196 | |
| parent | ad5ed9e79e1ec43007b47befcf5173a9aad97d67 [diff] |
remove redundant check