jrl-umi3218/jrl-mal — pull request #5 by francois-keith (2012-10-16 08:24:34+00:00)
Title: Replace InternalVector::size_t by InternalVector::size_type

The former version made the compilation crash on
ubuntu10.04, for boost 1.40 and boost 1.49