From 253493355a71c0673b0c10b06e7eb9f0fd0242a9 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 17 Nov 2016 16:01:29 +0100
Subject: Add missing label. Fixes broken ref.

---
 doc/refman/Classes.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/refman/Classes.tex b/doc/refman/Classes.tex
index bd8ee450ef..acfc4bea93 100644
--- a/doc/refman/Classes.tex
+++ b/doc/refman/Classes.tex
@@ -380,6 +380,7 @@ use implicit generalization (see \ref{SectionContext}).
 
 \asubsection{\tt typeclasses eauto}
 \tacindex{typeclasses eauto}
+\label{typeclasseseauto}
 
 The {\tt typeclasses eauto} tactic uses a different resolution engine
 than {\tt eauto} and {\tt auto}. The main differences are the following:
-- 
cgit v1.2.3