static void
delete_bookmark_command (char *args, int from_tty)
{
- struct bookmark *b, *b1;
+ struct bookmark *b;
unsigned long num;
if (bookmark_chain == NULL)
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",