One Obj.magic implemented, trust changed to false.

[helm.git] / helm / software / components / ng_kernel / nUriManager.mli

diff --git a/helm/software/components/ng_kernel/nUriManager.mli b/helm/software/components/ng_kernel/nUriManager.mli
index 1e8a08cbd87435f0fab0859434ad71a000795c4f..ae8f793e66374a80c1530a41c1c77b6b30e8b2d8 100644 (file)
--- a/helm/software/components/ng_kernel/nUriManager.mli
+++ b/helm/software/components/ng_kernel/nUriManager.mli
@@ -40,5 +40,5 @@ val string_of_uri: uri -> string
 
 
 (* CACCA *)
-val nuri_of_ouri: UriManager.uri -> (int * int option ) option -> uri
+val nuri_of_ouri: UriManager.uri -> spec ->  uri
 val ouri_of_nuri: uri -> UriManager.uri