From 778c8b52891ef12010c15145997af26abac9f3fe Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 23 Jun 2006 13:21:49 +0000
Subject: documentation

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8983 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 interp/genarg.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/interp/genarg.mli b/interp/genarg.mli
index 085795294e..d2aa750cc5 100644
--- a/interp/genarg.mli
+++ b/interp/genarg.mli
@@ -67,7 +67,7 @@ StringArgType                  string (parsed w/ "")     string
 PreIdentArgType                string (parsed w/o "")    (vernac only)
 IdentArgType                   identifier                identifier
 IntroPatternArgType            intro_pattern_expr        intro_pattern_expr
-VarArgType                     identifier                identifier
+VarArgType                     identifier located        identifier
 RefArgType                     reference                 global_reference
 QuantHypArgType                quantified_hypothesis     quantified_hypothesis
 ConstrArgType                  constr_expr               constr
-- 
cgit v1.2.3