diff options
Diffstat (limited to 'src/Util/Option.v')
| -rw-r--r-- | src/Util/Option.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Util/Option.v b/src/Util/Option.v index 98e172ad4..03fd77988 100644 --- a/src/Util/Option.v +++ b/src/Util/Option.v @@ -16,7 +16,7 @@ Global Instance Equivalence_option_eq {T} {R} {Equivalence_R:@Equivalence T R} : Equivalence (option_eq R). Proof. split; cbv; repeat (break_match || intro || intuition congruence || - solve [ reflexivity | symmetry; eassumption | etransitivity; eassumption ] ). + solve [ apply reflexivity | apply symmetry; eassumption | eapply transitivity; eassumption ] ). Qed. |