X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Flibrary%2F.depend;h=5f391bc0fed809c285d8524758583d048d061b3a;hb=387c6f39b2e55c887e8947039e5d7f56bce7f7a8;hp=eacb26990ca8aaf8412458cbc37a9f4f67b7ebcd;hpb=ff07bee00bbf349b3b8240f3e1158f622a27363a;p=helm.git diff --git a/components/library/.depend b/components/library/.depend index eacb26990..5f391bc0f 100644 --- a/components/library/.depend +++ b/components/library/.depend @@ -1,5 +1,5 @@ -cicCoercion.cmi: refinementTool.cmx coercDb.cmi -librarySync.cmi: refinementTool.cmx +cicCoercion.cmi: refinementTool.cmo coercDb.cmi +librarySync.cmi: refinementTool.cmo cicElim.cmo: cicElim.cmi cicElim.cmx: cicElim.cmi cicRecord.cmo: cicRecord.cmi @@ -10,9 +10,9 @@ libraryDb.cmo: libraryDb.cmi libraryDb.cmx: libraryDb.cmi coercDb.cmo: coercDb.cmi coercDb.cmx: coercDb.cmi -cicCoercion.cmo: refinementTool.cmx coercDb.cmi cicCoercion.cmi +cicCoercion.cmo: refinementTool.cmo coercDb.cmi cicCoercion.cmi cicCoercion.cmx: refinementTool.cmx coercDb.cmx cicCoercion.cmi -librarySync.cmo: refinementTool.cmx libraryDb.cmi coercDb.cmi cicRecord.cmi \ +librarySync.cmo: refinementTool.cmo libraryDb.cmi coercDb.cmi cicRecord.cmi \ cicElim.cmi cicCoercion.cmi librarySync.cmi librarySync.cmx: refinementTool.cmx libraryDb.cmx coercDb.cmx cicRecord.cmx \ cicElim.cmx cicCoercion.cmx librarySync.cmi