From 76d397868814083aa79adcf3ccfb2766debcff11 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 5 Feb 2001 23:59:19 +0000
Subject: Extension coerce_to_var

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1331 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/ast.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/parsing/ast.ml b/parsing/ast.ml
index 8bda3545ae..a438bdeb42 100755
--- a/parsing/ast.ml
+++ b/parsing/ast.ml
@@ -168,6 +168,7 @@ let check_cast loc a k =
 let rec coerce_to_var v = function
   | Nvar(_,id) -> id
   | Node(_,"QUALID",[Nvar(_,id)]) -> id
+  | Node(_,"QUALIDARG",[Nvar(_,id)]) -> id
   | ast -> user_err_loc
         (loc ast,"Ast.coerce_to_var",
          [< 'sTR"This expression should be a simple identifier" >])
-- 
cgit v1.2.3