X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FoCic2NCic.ml;h=f20df7c8064ffdc47faeea23ed4bd2fc4ba858e8;hb=725115d4f97b92666c4241f88b4f337f9d07a79f;hp=5bb6b93e29867c253037b142794a99338f1897e9;hpb=352aa2e42b054c1ecd80d5767c561758f210a3a7;p=helm.git

diff --git a/helm/software/components/ng_kernel/oCic2NCic.ml b/helm/software/components/ng_kernel/oCic2NCic.ml
index 5bb6b93e2..f20df7c80 100644
--- a/helm/software/components/ng_kernel/oCic2NCic.ml
+++ b/helm/software/components/ng_kernel/oCic2NCic.ml
@@ -262,6 +262,6 @@ let convert_obj_aux uri = function
 
 let convert_obj uri obj = 
   let o, fixpoints = convert_obj_aux uri obj in
-  let obj = NUri.nuri_of_ouri uri,0, [], [], o in
+  let obj = NUri.nuri_of_ouri uri,max_int, [], [], o in
   fixpoints @ [obj]
 ;;