From 9187929da42f03ec7938238b2787f00a80c87efe Mon Sep 17 00:00:00 2001
From: glondu
Date: Mon, 9 Jun 2008 15:16:40 +0000
Subject: Fix a typo

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11081 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/refman/RefMan-tac.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/refman/RefMan-tac.tex')

diff --git a/doc/refman/RefMan-tac.tex b/doc/refman/RefMan-tac.tex
index 7bdc35cf8e..9589963fe8 100644
--- a/doc/refman/RefMan-tac.tex
+++ b/doc/refman/RefMan-tac.tex
@@ -844,7 +844,7 @@ a hypothesis or in the body or the type of a local definition.
 
 \end{Variants}
 
-\subsection{Bindings list
+\subsection{\tt admit
 \tacindex{admit}
 \label{admit}}
 
-- 
cgit v1.2.3

