From 4a6a87154e9914345b5eb493119de8044ee68fd2 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 7 Jan 2004 09:18:00 +0000
Subject: Une solution au probl�me d'espacement apr�s _ dans les titres

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8472 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/Setoid.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/Setoid.tex b/doc/Setoid.tex
index 6d45411c39..de39331e4b 100644
--- a/doc/Setoid.tex
+++ b/doc/Setoid.tex
@@ -1,11 +1,11 @@
-\achapter{The \texttt{setoid\_replace} tactic}
+\achapter{\protect{The \texttt{setoid$\_$replace} tactic}}
 \aauthor{Cl\'ement Renard}
 \label{setoid_replace}
 \tacindex{setoid\_replace}
 
 This chapter presents  the \texttt{setoid\_replace} tactic.
 
-\asection{Description of \texttt{setoid\_replace}}
+\asection{Description of \texttt{setoid$\_$replace}}
 
 Working on user-defined structures in \Coq\ is not very easy if
 Leibniz equality does not denote the intended equality. For example
-- 
cgit v1.2.3