diff options
Diffstat (limited to 'theories/Wellfounded/Disjoint_Union.v')
| -rw-r--r-- | theories/Wellfounded/Disjoint_Union.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Wellfounded/Disjoint_Union.v b/theories/Wellfounded/Disjoint_Union.v index 5cb4b79d5..ac3233704 100644 --- a/theories/Wellfounded/Disjoint_Union.v +++ b/theories/Wellfounded/Disjoint_Union.v @@ -36,7 +36,7 @@ Proof. Apply Acc_intro;Intros. Inversion_clear H3;Auto with sets. Apply acc_A_sum;Auto with sets. -Save. +Qed. Lemma wf_disjoint_sum: |