tree 174bb0ddc80e79d928fcb6bebc9447b6a00891b0
parent 457c84c0ed27f679e2609d6816bc021e5b05abf7
author Tony Mack <tmack@paris.CS.Princeton.EDU> 1396989495 -0400
committer Tony Mack <tmack@paris.CS.Princeton.EDU> 1396989495 -0400

change filter() to all()