>> Pedro Alves wrote:
>>
>> The current code uses delete_command to remove breakpoints, but
>> that leaves the internal breakpoints behind - not something
>> we want.  Is there a case where we can get to to_detach
>> without remove_breakpoints being called?  I don't think there
>> is - we always get here through normal_stop, right?
>> If there isn't, I'll just remove the call to it I'm
>> introducing in the patch.
>>     

Here is the updated patch that removes the call to delete_command.

OK?

Cheers,
Pedro Alves