Update lawtesting.md

typelevel · May 7, 2018 · 3311271 · 3311271
1 parent b63abdf
commit 3311271
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/src/main/tut/typeclasses/lawtesting.md b/docs/src/main/tut/typeclasses/lawtesting.md
@@ -53,7 +53,7 @@ Cats defines all type class laws tests in `cats.laws.discipline.*`
 as `discipline`'s `RuleSet`s. Each `RuleSet` provides a `ScalaCheck` `Properties` through
 `ruleSet.all` to represent all the rules that it defines and inherits. For example, 
 the `ScalaCheck` `Properties` for `Functor` can be retrieved using
-```tut: silent
+```tut:book
 cats.laws.discipline.FunctorTests[Tree].functor[Int, Int, String].all
 ```