En mayo de 1280, el papa Nicolás posibilitó un acuerdo entre Rodolfo y Carlos, por el que este último aceptaba Provenza y Forcalquier como feudos imperiales, y se arreglaba el matrimonio de Clemencia de Habsburgo (hija de Rodolfo I) con Carlos Martel de Anjou-Sicilia (nieto de Carlos de Anjou).