From 412b5ba92f3c76c6bdb7dada0ef7be62f72518a8 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 26 Nov 2019 11:30:20 +0100
Subject: Remove deprecated Typeclasses Axioms Are Instances.

---
 doc/sphinx/addendum/type-classes.rst | 8 --------
 1 file changed, 8 deletions(-)

(limited to 'doc/sphinx')

diff --git a/doc/sphinx/addendum/type-classes.rst b/doc/sphinx/addendum/type-classes.rst
index 661aa88082..57a2254100 100644
--- a/doc/sphinx/addendum/type-classes.rst
+++ b/doc/sphinx/addendum/type-classes.rst
@@ -576,14 +576,6 @@ Settings
    of goals.  Setting this option to 1 or 2 turns on the :flag:`Typeclasses Debug` flag; setting this
    option to 0 turns that flag off.
 
-.. flag:: Typeclasses Axioms Are Instances
-
-   .. deprecated:: 8.10
-
-   This flag (off by default since 8.8) automatically declares axioms
-   whose type is a typeclass at declaration time as instances of that
-   class.
-
 Typeclasses eauto `:=`
 ~~~~~~~~~~~~~~~~~~~~~~
 
-- 
cgit v1.2.3