X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2F.depend;h=bc1a71311d51230b9ac43f923c726e977e6984bc;hb=67754d917af96623334ca9b8c1a16632d6c89391;hp=94e20194f2a035686df30969f07d5230198e5b50;hpb=d8f4d935054a6f9fff6de0c171dc4a181389219e;p=helm.git

diff --git a/helm/software/components/library/.depend b/helm/software/components/library/.depend
index 94e20194f..bc1a71311 100644
--- a/helm/software/components/library/.depend
+++ b/helm/software/components/library/.depend
@@ -1,4 +1,5 @@
 cicCoercion.cmi: refinementTool.cmo coercDb.cmi 
+coercGraph.cmi: coercDb.cmi 
 librarySync.cmi: refinementTool.cmo 
 cicElim.cmo: cicElim.cmi 
 cicElim.cmx: cicElim.cmi