From a290fc7464c8e5de08b62dfe28ff56e719e3e15e Mon Sep 17 00:00:00 2001
From: pboutill
Date: Fri, 8 Apr 2011 16:26:08 +0000
Subject: @ in index of refman (last request of bug 2494)

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

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

diff --git a/doc/refman/RefMan-ext.tex b/doc/refman/RefMan-ext.tex
index 98c4b7fae1..6801533efa 100644
--- a/doc/refman/RefMan-ext.tex
+++ b/doc/refman/RefMan-ext.tex
@@ -1418,7 +1418,7 @@ Implicit Insertion}.
 \subsection{Explicit applications
 \index{Explicitly given implicit arguments}
 \label{Implicits-explicitation}
-\index{qualid@{\qualid}}}
+\index{qualid@{\qualid}} \index{\symbol{64}}}
 
 In presence of non strict or contextual argument, or in presence of
 partial applications, the synthesis of implicit arguments may fail, so
-- 
cgit v1.2.3

