diff options
Diffstat (limited to 'theories/Classes/SetoidClass.v')
-rw-r--r-- | theories/Classes/SetoidClass.v | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/theories/Classes/SetoidClass.v b/theories/Classes/SetoidClass.v index 46d26553e..ddefa5cd7 100644 --- a/theories/Classes/SetoidClass.v +++ b/theories/Classes/SetoidClass.v @@ -30,8 +30,6 @@ Class Setoid A := equiv : relation A ; setoid_equiv :> Equivalence equiv. -Typeclasses unfold equiv. - (* Too dangerous instance *) (* Program Instance [ eqa : Equivalence A eqA ] => *) (* equivalence_setoid : Setoid A := *) |