casadi/casadi — pull request #561 by ghorn (2012-12-18 16:35:32+00:00)
Title: Develop

fix #519