// <summary>
// Remove breakpoint @index. @index is the breakpoint number which has
// been returned by InsertBreakpoint().
// </summary>
internal void RemoveBreakpoint(BreakpointHandle handle)
{
check_disposed();
if (servant != null)
{
servant.RemoveBreakpoint(handle);
}
}