X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2FcicCoercion.ml;h=85dc9f65b83d8951022dc510a770b392e78043f7;hb=5da42f6120f3075c3da8ab3082ead39ea57955fa;hp=42a19bcf92fcea3cbcab72129101c62ea0a87b27;hpb=f6bf40d380bdb66e1cb3315edebb3d276ba7a125;p=helm.git

diff --git a/helm/software/components/library/cicCoercion.ml b/helm/software/components/library/cicCoercion.ml
index 42a19bcf9..85dc9f65b 100644
--- a/helm/software/components/library/cicCoercion.ml
+++ b/helm/software/components/library/cicCoercion.ml
@@ -26,14 +26,14 @@
 (* $Id$ *)
 
 let close_coercion_graph_ref = ref
- (fun _ _ _ _ -> [] : 
-   CoercDb.coerc_carr -> CoercDb.coerc_carr -> UriManager.uri ->
+ (fun _ _ _ _ _ -> [] : 
+   CoercDb.coerc_carr -> CoercDb.coerc_carr -> UriManager.uri -> int ->
    string (* baseuri *) ->
-     (CoercDb.coerc_carr * CoercDb.coerc_carr * UriManager.uri * Cic.obj) list)
+     (CoercDb.coerc_carr * CoercDb.coerc_carr * UriManager.uri * int * Cic.obj) list)
 ;;
 
 let set_close_coercion_graph f = close_coercion_graph_ref := f;;
 
-let close_coercion_graph c1 c2 u s = 
-  !close_coercion_graph_ref c1 c2 u s
+let close_coercion_graph c1 c2 u sat s = 
+  !close_coercion_graph_ref c1 c2 u sat s
 ;;