comparison src/intervals.c @ 3333:962106f58afe

(interval_deletion_adjustment): Delete unreachable abort.

3332:b2e9e2ae0e10

	    }
	}
    }

  /* Never reach here */
  abort ();
}

/* Effect the adjustments neccessary to the interval tree of BUFFER
   to correspond to the deletion of LENGTH characters from that buffer
   text.  The deletion is effected at position START (relative to the

3333:962106f58afe

	    }
	}
    }

  /* Never reach here */
}

/* Effect the adjustments neccessary to the interval tree of BUFFER
   to correspond to the deletion of LENGTH characters from that buffer
   text.  The deletion is effected at position START (relative to the