diff options
Diffstat (limited to 'mathcomp/test-suite')
| -rw-r--r-- | mathcomp/test-suite/hierarchy_test.v | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mathcomp/test-suite/hierarchy_test.v b/mathcomp/test-suite/hierarchy_test.v index 10564b9..a2bbf37 100644 --- a/mathcomp/test-suite/hierarchy_test.v +++ b/mathcomp/test-suite/hierarchy_test.v @@ -701,8 +701,8 @@ Check erefl : (_ : GRing.ComUnitRing.type) = (_ : GRing.UnitAlgebra.type) :> Typ Check erefl : (_ : GRing.Zmodule.type) = (_ : Num.ArchimedeanField.type) :> Type. (* fix in ssrnum *) -Fail Check erefl : (_ : GRing.Field.type) = (_ : Num.NumDomain.type) :> Type. -Fail Check erefl : (_ : GRing.Field.type) = (_ : Num.RealDomain.type) :> Type. +Check erefl : (_ : GRing.Field.type) = (_ : Num.NumDomain.type) :> Type. +Check erefl : (_ : GRing.Field.type) = (_ : Num.RealDomain.type) :> Type. (* fix in countalg *) Check erefl : (_ : CountRing.ClosedField.type) = (_ : CountRing.IntegralDomain.type) :> Type. |