tree 199e7265c8dcd5b3155b5a7fe364f2b58182e722
parent c65276d0c511687b3e02749089bea5633af4afc5
author Rodolphe Quiédeville <rodolphe@quiedeville.org> 1383252654 +0100
committer Rodolphe Quiédeville <rodolphe@quiedeville.org> 1383252654 +0100

Remove non needed clause in ranks_of/5