Fix a nasty bug where the wrong pointer was passed to the C side.
authorKim Nguyễn <kn@lri.fr>
Fri, 12 Oct 2012 20:46:38 +0000 (22:46 +0200)
committerKim Nguyễn <kn@lri.fr>
Fri, 12 Oct 2012 20:46:38 +0000 (22:46 +0200)

No differences found