X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2FcicCoercion.ml;h=638c0ce64a81d037749048c9a698362bde6b0916;hb=aaf1c6a4f2e56d08433e2258da4d4cc51c943e4e;hp=85dc9f65b83d8951022dc510a770b392e78043f7;hpb=751e50a8640e460a3d1a9fad96b8ec5fb3e663d0;p=helm.git

diff --git a/helm/software/components/library/cicCoercion.ml b/helm/software/components/library/cicCoercion.ml
index 85dc9f65b..638c0ce64 100644
--- a/helm/software/components/library/cicCoercion.ml
+++ b/helm/software/components/library/cicCoercion.ml
@@ -29,7 +29,7 @@ let close_coercion_graph_ref = ref
  (fun _ _ _ _ _ -> [] : 
    CoercDb.coerc_carr -> CoercDb.coerc_carr -> UriManager.uri -> int ->
    string (* baseuri *) ->
-     (CoercDb.coerc_carr * CoercDb.coerc_carr * UriManager.uri * int * Cic.obj) list)
+     (CoercDb.coerc_carr * CoercDb.coerc_carr * UriManager.uri * int * Cic.obj * int) list)
 ;;
 
 let set_close_coercion_graph f = close_coercion_graph_ref := f;;