Participó en la última parte de la invasión luso-brasileña contra José Artigas y terminó derrotando a las tropas de éste en la batalla de Tacuarembó el 22 de enero de 1820.