#include "valprint.h"
#include "inline-frame.h"
+extern void disconnect_or_stop_tracing (int from_tty);
+
/* Functions exported for general use, in inferior.h: */
void all_registers_info (char *, int);
if (ptid_equal (inferior_ptid, null_ptid))
error (_("The program is not being run."));
+ disconnect_or_stop_tracing (from_tty);
+
target_detach (args, from_tty);
/* If the solist is global across inferiors, don't clear it when we