/* Reverse execution and reverse debugging.
- Copyright (C) 2006, 2007, 2008, 2009, 2010 Free Software Foundation, Inc.
+ Copyright (C) 2006, 2007, 2008, 2009, 2010, 2011
+ Free Software Foundation, Inc.
This file is part of GDB.
gdbarch = get_regcache_arch (get_current_regcache ());
printf_filtered (_("Bookmark Address Opaque\n"));
- printf_filtered (_(" ID Data \n"));
+ printf_filtered (_(" ID Data\n"));
ALL_BOOKMARKS (b)
printf_filtered (" %d %s '%s'\n",