From 8b6a2b7f6bf4c40ba634cf8bb204ebffcef54105 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Fri, 5 Jul 2019 10:42:02 +0200
Subject: Correct doc about default value for Typeclasses Dependency Order

---
 doc/sphinx/addendum/type-classes.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/sphinx/addendum/type-classes.rst b/doc/sphinx/addendum/type-classes.rst
index 2ba13db042..db3e20a9c6 100644
--- a/doc/sphinx/addendum/type-classes.rst
+++ b/doc/sphinx/addendum/type-classes.rst
@@ -470,7 +470,7 @@ Settings
 
 .. flag:: Typeclasses Dependency Order
 
-   This flag (on by default since 8.6) respects the dependency order
+   This flag (off by default) respects the dependency order
    between subgoals, meaning that subgoals on which other subgoals depend
    come first, while the non-dependent subgoals were put before
    the dependent ones previously (Coq 8.5 and below). This can result in
-- 
cgit v1.2.3