STLPort pretty printers follow the old style GDB printer API. Since GDB supports both styles, this has to be supported in GALA as well.
STLPort pretty printers follow the old style GDB printer API. Since GDB supports both styles, this has to be supported in GALA as well.