tree 41ede2296a41000f7a16ea6929c9b4f243efd65f
parent 8690ba923ce73748c1b34e3f90756f0e7154fa48
author Gael Guennebaud <g.gael@free.fr> 1232447859 +0000
committer Gael Guennebaud <g.gael@free.fr> 1232447859 +0000

quick bugfix in QR::isFullRank() (not 100% sure about the reference value
for the comparison to 0)