roboptim/roboptim-core-plugin-ipopt — pull request #7 by bchretien (2013-03-14 08:03:05+00:00)
Title: Correct UserIntermediateCallback

There was a problem with boost::optional and pure virtual UserIntermediateCallback.