From 5073a95c25ebe6446cc490d4c39610dee2ca587d Mon Sep 17 00:00:00 2001
From: Luka Jacobowitz <luka.jacobowitz@codecentric.de>
Date: Thu, 28 Sep 2017 08:00:12 +0200
Subject: [PATCH] Fix lawtesting docs

---
 docs/src/main/tut/typeclasses/lawtesting.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/src/main/tut/typeclasses/lawtesting.md b/docs/src/main/tut/typeclasses/lawtesting.md
index 34b9f70893..56eea32d89 100644
--- 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])
 }
 ```