diff options
Diffstat (limited to 'test-suite')
| -rw-r--r-- | test-suite/success/setoid_test.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/success/setoid_test.v b/test-suite/success/setoid_test.v index 2be1500f4e..a7818f6f6d 100644 --- a/test-suite/success/setoid_test.v +++ b/test-suite/success/setoid_test.v @@ -110,7 +110,7 @@ Definition id: Set -> Set := fun A => A. Definition rel : forall A : Set, relation (id A) := @eq. Definition f: forall A : Set, A -> A := fun A x => x. -Instance DefaultRelation (id A) (rel A). +Add Relation (id A) (rel A) as eq_rel. Add Morphism (@f A) : f_morph. Proof. |