Gael Guennebaud 3ec11d8f17 Fix compilation
(grafted from 7713e20fd2f673091807dd7f5b3864ac8aef17f2
)
2016-12-27 22:04:58 +01:00
..
2016-12-27 22:04:58 +01:00