From f625fd3a414c3ae067e23320e382dbff5256adc4 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 20 Nov 2000 08:43:05 +0000
Subject: Prise en compte constructeur QUALID pour noms qualifiés

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

diff --git a/parsing/ast.ml b/parsing/ast.ml
index d154b79701..ca864ac056 100755
--- a/parsing/ast.ml
+++ b/parsing/ast.ml
@@ -167,7 +167,8 @@ let check_cast loc a k =
                          [< 'sTR"cast _"; print_ast_cast k; 'sTR"failed" >])
 
 let rec coerce_to_var v = function
-  | Nvar(_,id) -> id 
+  | Nvar(_,id) -> id
+  | Node(_,"QUALID",[Nvar(_,id)]) -> id
   | ast -> user_err_loc
         (loc ast,"Ast.coerce_to_var",
          [< 'sTR"the variable "; 'sTR v;
-- 
cgit v1.2.3