Index: infcmd.c
===================================================================
RCS file: /cvs/src/src/gdb/infcmd.c,v
retrieving revision 1.134
diff -p -r1.134 infcmd.c
*** infcmd.c	21 Feb 2005 03:25:56 -0000	1.134
--- infcmd.c	8 Mar 2005 06:43:05 -0000
*************** start_command (char *args, int from_tty)
*** 512,517 ****
--- 512,523 ----
       the user changes its mind.  */
    kill_if_already_running (from_tty);
  
+   /* Make sure that the symbols are up to date.  Otherwise, we might
+      end up inserting the temporary breakpoint before we receive the
+      executable-changed notification, potentially causing us to use
+      the wrong function name as the main procedure.  */
+   reread_symbols ();
+ 
    /* Insert the temporary breakpoint, and run...  */
    tbreak_command (main_name (), 0);
    run_command (args, from_tty);