tree 8c488841d23c162d97b423f79cb521a361dc2721
parent 8a40dda5a6c7847b466ca4d10d177639d1646e6d
author Gael Guennebaud <g.gael@free.fr> 1531382384 +0200
committer Gael Guennebaud <g.gael@free.fr> 1531382384 +0200

Remove useless specialization thanks to is_convertible being more robust.