[Bug libstdc++/51649] pretty printers don't handle std::__7:: namespace

[redi at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51649

--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-12-21 
16:20:15 UTC ---
It might be better to provide a separate python/libstdcxx/v7/printers.py file
and install that when configured with versioned namespaces.