basic_rg: bugfix in AST to allow attributes in global entries

[helm.git] / helm / software / lambda-delta / toplevel / metaAut.ml

diff --git a/helm/software/lambda-delta/toplevel/metaAut.ml b/helm/software/lambda-delta/toplevel/metaAut.ml
index 48628b2bb489eea631a6c05694577344af7d5430..2ef3ec737e0b0bef84b3a1992855e15c439e5a7c 100644 (file)
--- a/helm/software/lambda-delta/toplevel/metaAut.ml
+++ b/helm/software/lambda-delta/toplevel/metaAut.ml
@@ -49,7 +49,7 @@ let mk_qid st id path =
    let uripath = if st.cover = "" then path else st.cover :: path in
    let str = String.concat "/" uripath in
    let str = Filename.concat str id in 
-   U.uri_of_string ("ld:/" ^ str), id, path
+   U.uri_of_string ("ld:/" ^ str ^ ".ld"), id, path
 
 let uri_of_qid (uri, _, _) = uri