aboutsummaryrefslogtreecommitdiffhomepage
path: root/parsing/g_prim.ml4
diff options
context:
space:
mode:
Diffstat (limited to 'parsing/g_prim.ml4')
-rw-r--r--parsing/g_prim.ml43
1 files changed, 2 insertions, 1 deletions
diff --git a/parsing/g_prim.ml4 b/parsing/g_prim.ml4
index 168b5bc9f..e8cd55117 100644
--- a/parsing/g_prim.ml4
+++ b/parsing/g_prim.ml4
@@ -34,7 +34,8 @@ GEXTEND Gram
;
astpath:
[ [ id = IDENT; (l,a) = astfields ->
- Path(loc, make_path (make_dirpath (id_of_string id :: l)) a CCI)
+ let p = make_dirpath (List.rev (id_of_string id :: l)) in
+ Path(loc, make_path p a)
| id = IDENT -> Nvar(loc, id_of_string id)
] ]
;