Ticket #8744: property_tree.patch

boost/property_tree/detail/xml_parser_write.hpp

@@ -35 +35 @@
                            const xml_writer_settings<Ch> & settings
                            )
     {
-        typedef typename std::basic_string<Ch> Str;
         if (separate_line)
             write_xml_indent(stream,indent,settings);
         stream << Ch('<') << Ch('!') << Ch('-') << Ch('-');
@@ -69 +68 @@
     {
 
         typedef typename Ptree::key_type::value_type Ch;
-        typedef typename std::basic_string<Ch> Str;
         typedef typename Ptree::const_iterator It;
 
         bool want_pretty = settings.indent_count > 0;