X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Ftoplevel%2FmetaAut.ml;fp=helm%2Fsoftware%2Flambda-delta%2Ftoplevel%2FmetaAut.ml;h=2ef3ec737e0b0bef84b3a1992855e15c439e5a7c;hb=cca5f6b7431b846b7bdcbf813632cb79580d5874;hp=48628b2bb489eea631a6c05694577344af7d5430;hpb=544a9aee8a26a4d7c613ef8a02f045c53d55f998;p=helm.git

diff --git a/helm/software/lambda-delta/toplevel/metaAut.ml b/helm/software/lambda-delta/toplevel/metaAut.ml
index 48628b2bb..2ef3ec737 100644
--- 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