Gael Guennebaud 4ea9113efc fix bug #509: warning with gcc 4.7
(transplanted from 7c4b55fda9939dda66e927c158a21bcc117ae7f4
)
2012-09-26 23:32:22 +02:00
..
2012-09-26 23:32:22 +02:00
2010-07-23 19:00:02 +02:00
2011-02-22 09:31:22 -05:00