roboptim/roboptim-core — pull request #39 by bchretien (2013-12-11 10:07:01+00:00)
Title: Add missing includes.

This should fix PR roboptim/roboptim-core-plugin-eigen#2.