1 --- misc/boost_1_44_0/boost/uuid/uuid_io.hpp
2 +++ misc/build/boost_1_44_0/boost/uuid/uuid_io.hpp
6 if (flags & std::ios_base::left) {
7 - for (std::streamsize i=uuid_width; i<width; i++) {
8 + for (std::streamsize s=uuid_width; s<width; ++s) {
12 --- misc/boost_1_44_0/boost/uuid/name_generator.hpp
13 +++ misc/build/boost_1_44_0/boost/uuid/name_generator.hpp
16 typedef uuid result_type;
18 - explicit name_generator(uuid const& namespace_uuid)
19 - : namespace_uuid(namespace_uuid)
20 + explicit name_generator(uuid const& namespace_uuid_)
21 + : namespace_uuid(namespace_uuid_)
24 uuid operator()(const char* name) {