Added count_occurrences.

[helm.git] / helm / software / lambda-delta / complete_rg / crgAut.ml

diff --git a/helm/software/lambda-delta/complete_rg/crgAut.ml b/helm/software/lambda-delta/complete_rg/crgAut.ml
index 267e2b4031fa64c8b9211cd600bbf0fe725ac80a..8420cbea7e486b97420dff43d94064d1706229a8 100644 (file)
--- 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) =