tree 80049098de6576853760c702b313e704be8e0b4a
parent 2946992ad4bc929d231282b477a23175cc1c0090
author Gael Guennebaud <g.gael@free.fr> 1411979271 +0200
committer Gael Guennebaud <g.gael@free.fr> 1411979271 +0200

Avoid comparisons between different index types.