tree 0d6865bbedccd0a92933a5369300eb38dee72102
parent 68d1897e8a07f1ebef24221dbcc4a42fdabae1a0
author Gael Guennebaud <g.gael@free.fr> 1472417156 +0200
committer Gael Guennebaud <g.gael@free.fr> 1472417156 +0200

bug #1282: fix implicit double to float conversion warning