tree a9c307fc81b14631e812711923f47a13d5428fb4
parent 0fe6b7d687430fd1fe2d390da2f09fcb8ddc8093
author Gael Guennebaud <g.gael@free.fr> 1547746069 +0100
committer Gael Guennebaud <g.gael@free.fr> 1547746069 +0100

Remove some useless const_cast