From 99eabe2ee6ba2ece346c2739bdf041077c724923 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Sat, 24 Mar 2018 14:01:32 -0300
Subject: [doc] Port Chapter 20 Type Classes to Sphinx

---
 doc/sphinx/language/gallina-extensions.rst | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'doc/sphinx/language')

diff --git a/doc/sphinx/language/gallina-extensions.rst b/doc/sphinx/language/gallina-extensions.rst
index d618d90ad2..68066faa30 100644
--- a/doc/sphinx/language/gallina-extensions.rst
+++ b/doc/sphinx/language/gallina-extensions.rst
@@ -2109,6 +2109,8 @@ case, this latter type is considered).
 
   Adds blocks of implicit types with different specifications.
 
+.. _implicit-generalization:
+
 Implicit generalization
 ~~~~~~~~~~~~~~~~~~~~~~~
 
-- 
cgit v1.2.3