Hi...

Last week some changes to base gdb have been made in regard of
the former prettyprinting. It is now called prettyformatting.

This breaks the build of insight. Here is a small patch
to adapt to these changes.

Roland

Changelog:

2013-07-15  Roland Schwingel  <roland.schwingel@onevision.com>

     * generic/gdbtk-register.c (get_register): Update
     to reflect changes from upstream gdb. Prettyprinting
     becomes prettyformatting now.
     * generic/gdbtk-wrapper.c (GDB_val_print,wrap_val_print):
     Likewise.
     * generic/gdbtk-wrapper.h (GDB_val_print): Likewise.