* Handle the possibility that some simulator commands may modify register

state behind gdb's back.
Wed Aug 12 16:30:01 1998  Frank Ch. Eigler  <fche@cygnus.com>
	* remote-sim.c (simulator_command): Reset register cache after
	simulator command.

gdb/remote-sim.c

@@ -911,6 +911,10 @@ simulator_command (args, from_tty)
     }
 
   sim_do_command (gdbsim_desc, args);
+
+  /* Invalidate the register cache, in case the simulator command does
+     something funny. */
+  registers_changed (); 
 }
 
 /* Define the target subroutine names */