private void pruneCurrentTerminal()
	{
		prunedTriangles.remove(currentTerminal);
		TriangulationPoint external = getExternalPoint(currentTerminal);
		prunedChordalAxis.removePoint(external);
		currentTriangle = getNextTriangle(currentTerminal, null);
		currentEdge = getOppositeEdge(currentTerminal, external);
		updateCircle();
		pointsToCheck.clear();
		pointsToCheck.add(external);
	}