Art. 1571 del Código Civil

Toda obligación de no hacer una cosa se resuelve en la de indemnizar los perjuicios, si el deudor contraviene y no puede deshacerse lo hecho. Pudiendo destruirse la cosa hecha, y siendo su destrucción necesaria para el objeto que se tuvo en mira al celebrar el contrato, estará el deudor obligado a ella, o autorizado el acreedor para que la lleve a ejecución a expensas del deudor. Si dicho objeto puede obtenerse cumplidamente por otros medios, será oído el deudor que se allane a prestarlos. El acreedor quedará de todos modos indemne.