X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Flibrary%2F.depend;h=bc1a71311d51230b9ac43f923c726e977e6984bc;hb=46f89a89b444b0f1e6b25773c59127ccfbe07d0e;hp=94e20194f2a035686df30969f07d5230198e5b50;hpb=6f0fca547fdd3f4b57cee75d360262dc910f8854;p=helm.git

diff --git a/components/library/.depend b/components/library/.depend
index 94e20194f..bc1a71311 100644
--- a/components/library/.depend
+++ b/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