From 06b871974ae222f878142c8cab03fd52d4511895 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Thu, 31 Aug 2017 17:22:33 +0200
Subject: RefMan-ssr: fix warning

---
 doc/refman/RefMan-ssr.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/refman/RefMan-ssr.tex b/doc/refman/RefMan-ssr.tex
index 61f7421c44..0e4d44f21a 100644
--- a/doc/refman/RefMan-ssr.tex
+++ b/doc/refman/RefMan-ssr.tex
@@ -91,7 +91,7 @@ logical view of a concept.
 To conclude it is worth mentioning that \ssr{} tactics
 can be mixed with non \ssr{} tactics in the same proof,
 or in the same LTac expression.  The few exceptions
-to this statement are described in section~\label{sec:compat}.
+to this statement are described in section~\ref{sec:compat}.
 
 \iffalse
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-- 
cgit v1.2.3