Siguió en Orán hasta que esta ciudad fue evacuada por las tropas españolas en 1792 después de un asedio.