X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fcomplete_rg%2FcrgAut.ml;h=8420cbea7e486b97420dff43d94064d1706229a8;hb=d5524a1863254efc83b44042bcce78678a95d737;hp=267e2b4031fa64c8b9211cd600bbf0fe725ac80a;hpb=da715664068e859d20ab81fd6969e64d58c0f57e;p=helm.git

diff --git a/helm/software/lambda-delta/complete_rg/crgAut.ml b/helm/software/lambda-delta/complete_rg/crgAut.ml
index 267e2b403..8420cbea7 100644
--- a/helm/software/lambda-delta/complete_rg/crgAut.ml
+++ b/helm/software/lambda-delta/complete_rg/crgAut.ml
@@ -62,9 +62,9 @@ let id_of_name (id, _, _) = id
 let mk_qid f st id path =
    let str = String.concat "/" path in
    let str = Filename.concat str id in 
-   let f str = f (U.uri_of_string str, id, path) in
-   f (st.mk_uri str)
-   
+   let str = st.mk_uri str in
+   f (U.uri_of_string str, id, path)
+
 let uri_of_qid (uri, _, _) = uri
 
 let complete_qid f st (id, is_local, qs) =