Fix lawtesting docs

typelevel · Sep 28, 2017 · 5073a95 · 5073a95
1 parent f81d7b2
commit 5073a95
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/src/main/tut/typeclasses/lawtesting.md b/docs/src/main/tut/typeclasses/lawtesting.md
@@ -133,10 +133,10 @@ Then we can again test the instance inside our class extending `CatsSuite`:
 
 ```tut:book
 import cats.laws.discipline.FunctorTests
-import cats.kernel.laws.discipline.SemigroupTests
+import cats.kernel.laws.discipline.SemigroupLawTests
 
 class TreeLawTests extends CatsSuite {
-  checkAll("Tree[Int].SemigroupLaws", SemigroupTests[Tree[Int]].semigroup)
+  checkAll("Tree[Int].SemigroupLaws", SemigroupLawTests[Tree[Int]].semigroup)
   checkAll("Tree.FunctorLaws", FunctorTests[Tree].functor[Int, Int, String])
 }
 ```