X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaEngine.ml;h=707e31d988fff576c60795d8a257b6f1ec380179;hb=5b32b7905bc78c11e353efd68137b8eb7b6ac73b;hp=365f947c001a5c163efa811d046797c36d12197a;hpb=b12aa2f7dc56d9915603339e9a1e1ba23d834b4a;p=helm.git

diff --git a/helm/matita/matitaEngine.ml b/helm/matita/matitaEngine.ml
index 365f947c0..707e31d98 100644
--- a/helm/matita/matitaEngine.ml
+++ b/helm/matita/matitaEngine.ml
@@ -580,7 +580,7 @@ let eval_coercion status coercion =
     (* also adds them to the Db *)
     CoercGraph.close_coercion_graph src_uri tgt_uri coer_uri in
   let status =
-   List.fold_left (fun s (uri,o,ugraph) -> MatitaSync.add_obj uri o status)
+   List.fold_left (fun s (uri,o,_) -> MatitaSync.add_obj uri o status)
     status new_coercions in
   let statement_of name =
     GrafiteAst.Coercion (DisambiguateTypes.dummy_floc,