Now MQueryGenerator generates the query and MQueryLevels produces the restrictions...

[helm.git] / helm / ocaml / urimanager / uriManager.ml

diff --git a/helm/ocaml/urimanager/uriManager.ml b/helm/ocaml/urimanager/uriManager.ml
index 9f969fdd12e11d699d53f11cb09f3029fa7bc59c..df707c956f2ba8f5e9de95d46480cf75d7cefdf9 100644 (file)
--- a/helm/ocaml/urimanager/uriManager.ml
+++ b/helm/ocaml/urimanager/uriManager.ml
@@ -151,3 +151,10 @@ let bodyuri_of_uri uri =
   else
    None
 ;;
+
+let innertypesuri_of_uri uri =
+ let cicuri = cicuri_of_uri uri in
+  let newuri = Array.copy cicuri in
+   newuri.(Array.length cicuri - 2) <- (string_of_uri cicuri) ^ ".types" ;
+   newuri
+;;