X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fsoftware%2Flambda-delta%2Ftoplevel%2FmetaAut.ml;h=2ef3ec737e0b0bef84b3a1992855e15c439e5a7c;hb=8a4c83c6341976f2bb70eb44a0c70f2aa95ad3ea;hp=48628b2bb489eea631a6c05694577344af7d5430;hpb=2b821e608cc1fceebc13e85867a244fe02edf71e;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