CCQ-1991 - Civil Code of Québec

Full text
1694. A debtor released by impossibility of performance may not exact performance of the correlative obligation of the creditor; if the performance has already been rendered, restitution is owed.
Where the debtor has performed part of his obligation, the creditor remains bound to perform his own obligation to the extent of his enrichment.
1991, c. 64, a. 1694.