tree a44d6fc97797f9d68308f996aacd66d1a5b6028c
parent e3d64cb418c905aa4921cd4391838d11fd24e7dc
author Gael Guennebaud <g.gael@free.fr> 1242660361 +0200
committer Gael Guennebaud <g.gael@free.fr> 1242660361 +0200

fix bug reported by Moritz Lenz about random setter