From 319fbca6d28934b7b192f67b4e737c917cd49ab6 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 13 Aug 2001 14:59:37 +0000
Subject: bug incompatibilité

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1895 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/g_prim.ml4 | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/parsing/g_prim.ml4 b/parsing/g_prim.ml4
index 7955660650..168b5bc9fc 100644
--- a/parsing/g_prim.ml4
+++ b/parsing/g_prim.ml4
@@ -35,8 +35,7 @@ GEXTEND Gram
   astpath:
     [ [ id = IDENT; (l,a) = astfields -> 
           Path(loc, make_path (make_dirpath (id_of_string id :: l)) a CCI)
-      | id = IDENT ->
-	  Path(loc, make_path (make_dirpath [])  (id_of_string id) Names.CCI)
+      | id = IDENT -> Nvar(loc, id_of_string id)
       ] ]
   ;
   astfields:
-- 
cgit v1.2.3