Index: create_tables.cpp =================================================================== --- create_tables.cpp (Revision 56628) +++ create_tables.cpp (Revision 56629) @@ -21,6 +21,7 @@ #include #include #include +#include // We place the data here. Each line comprises various fields typedef std::vector ucd_line; @@ -422,11 +423,11 @@ void print_table(Out& out, C const& c, bool trailing_comma, int width = 4, int group = 16) { int const tab = 4; - C::size_type size = c.size(); + typename C::size_type size = c.size(); BOOST_ASSERT(size > 1); print_tab(out, tab); out << std::setw(width) << int(c[0]); - for (C::size_type i = 1; i < size; ++i) + for (typename C::size_type i = 1; i < size; ++i) { out << ", "; if ((i % group) == 0)