roboptim/roboptim-core-plugin-ipopt — pull request #11 by bchretien (2013-04-18 08:46:33+00:00)
Title: Fix release build (unused parameters).

Some unused parameters in release mode trigger compilation errors.