Skip to content

Commit

Permalink
Disambiguate PartialOrder property ids (#3493)
Browse files Browse the repository at this point in the history
  • Loading branch information
rossabaker authored Jun 21, 2020
1 parent fd586f0 commit e256ab3
Showing 1 changed file with 4 additions and 4 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -17,10 +17,10 @@ trait EqTests[A] extends Laws {
new DefaultRuleSet(
"eq",
None,
"reflexivity" -> forAll(laws.reflexivityEq _),
"symmetry" -> forAll(laws.symmetryEq _),
"antisymmetry" -> forAll(laws.antiSymmetryEq _),
"transitivity" -> forAll(laws.transitivityEq _)
"reflexivity eq" -> forAll(laws.reflexivityEq _),
"symmetry eq" -> forAll(laws.symmetryEq _),
"antisymmetry eq" -> forAll(laws.antiSymmetryEq _),
"transitivity eq" -> forAll(laws.transitivityEq _)
)
}
}
Expand Down

0 comments on commit e256ab3

Please sign in to comment.