diff -up ./Eigen/src/StlSupport/details.h.ptrdiff ./Eigen/src/StlSupport/details.h --- ./Eigen/src/StlSupport/details.h.ptrdiff 2011-04-17 23:07:20.116801391 -0400 +++ ./Eigen/src/StlSupport/details.h 2011-04-17 23:07:49.699857645 -0400 @@ -30,6 +30,8 @@ #define EIGEN_ALIGNED_ALLOCATOR Eigen::aligned_allocator #endif +#include // for ptrdiff_t + namespace Eigen { // This one is needed to prevent reimplementing the whole std::vector.