tree 874844452dc17f2faca79ce61b8327f4c7abb4f1
parent 566867428c6134381c846d98ab86f9d2cc89a3c2
author Gael Guennebaud <g.gael@free.fr> 1277410689 +0200
committer Gael Guennebaud <g.gael@free.fr> 1277410689 +0200

fix infinite loop