tree 26df0ea89b5691fcd8c8740df2a29095fccfabf5
parent 5e5bac52d7c7eac058f47e7e3fc3504267eb0d09
author Gael Guennebaud <g.gael@free.fr> 1240314745 +0000
committer Gael Guennebaud <g.gael@free.fr> 1240314745 +0000

add missing vector ctor reported by Markus Moll on the ML