El resto de la organización pasó a conocerse como IRA Oficial.