From 3c99a562c8b6c0370af38f5cdf585787f99978fa Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= <essen@ninenines.eu>
Date: Sat, 9 Jan 2016 16:18:03 +0100
Subject: Remove Triq from overview

---
 doc/src/guide/overview.asciidoc | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'doc/src/guide/overview.asciidoc')

diff --git a/doc/src/guide/overview.asciidoc b/doc/src/guide/overview.asciidoc
index 3e22790..8fa57fe 100644
--- a/doc/src/guide/overview.asciidoc
+++ b/doc/src/guide/overview.asciidoc
@@ -68,9 +68,7 @@ The xref:shell[make shell] command allows you
 to test your project manually. You can automate these
 unit tests with xref:eunit[EUnit] and test
 your entire system with xref:ct[Common Test].
-xref:property_based_testing[Property based testing]
-with Triq is a strong alternative to writing unit tests
-manually. xref:coverage[Code coverage] can of course
+xref:coverage[Code coverage] can of course
 be enabled during tests.
 
 Erlang.mk comes with features to make your life easier when
-- 
cgit v1.2.3

