1 diff -urp boost_1_54_0-orig/boost/property_tree/detail/xml_parser_write.hpp boost_1_54_0/boost/property_tree/detail/xml_parser_write.hpp
2 --- boost_1_54_0-orig/boost/property_tree/detail/xml_parser_write.hpp 2013-07-23 00:47:43.731888449 +0200
3 +++ boost_1_54_0/boost/property_tree/detail/xml_parser_write.hpp 2013-07-23 00:50:40.597960319 +0200
4 @@ -35,7 +35,6 @@ namespace boost { namespace property_tre
5 const xml_writer_settings<Ch> & settings
8 - typedef typename std::basic_string<Ch> Str;
10 write_xml_indent(stream,indent,settings);
11 stream << Ch('<') << Ch('!') << Ch('-') << Ch('-');
12 @@ -69,7 +68,6 @@ namespace boost { namespace property_tre
15 typedef typename Ptree::key_type::value_type Ch;
16 - typedef typename std::basic_string<Ch> Str;
17 typedef typename Ptree::const_iterator It;
19 bool want_pretty = settings.indent_count > 0;