diff options
| author | herbelin | 2001-08-13 14:59:37 +0000 |
|---|---|---|
| committer | herbelin | 2001-08-13 14:59:37 +0000 |
| commit | 319fbca6d28934b7b192f67b4e737c917cd49ab6 (patch) | |
| tree | f7b9358cb099759b841b3f28149b919547e307ef | |
| parent | 23bc928cfb9c9a566944d4d813b821dc302baf16 (diff) | |
bug incompatibilité
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1895 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | parsing/g_prim.ml4 | 3 |
1 files changed, 1 insertions, 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: |