diff options
| author | Gaëtan Gilbert | 2019-07-05 10:42:02 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-07-05 10:42:02 +0200 |
| commit | 8b6a2b7f6bf4c40ba634cf8bb204ebffcef54105 (patch) | |
| tree | 3712b0284828107c88908ddcbcbfff7041c22250 | |
| parent | 37d417f664fc14e14bbcf09d479c4bffbe5ee178 (diff) | |
Correct doc about default value for Typeclasses Dependency Order
| -rw-r--r-- | doc/sphinx/addendum/type-classes.rst | 2 |
1 files changed, 1 insertions, 1 deletions
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 |