X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2F.depend.opt;h=d8ff04797645c5804394afb7282e346a3075bbc5;hb=83a4859b0a6fec3953dae70cd6177eecd850d012;hp=190aaf9b7ed952df67f019f3f11da1f30b47656e;hpb=111df95ac03f2ee21dfa2422a7f531f675b1c16d;p=helm.git

diff --git a/helm/software/components/library/.depend.opt b/helm/software/components/library/.depend.opt
index 190aaf9b7..d8ff04797 100644
--- a/helm/software/components/library/.depend.opt
+++ b/helm/software/components/library/.depend.opt
@@ -1,5 +1,7 @@
 cicCoercion.cmi: coercDb.cmi 
 librarySync.cmi: refinementTool.cmx 
+librarian.cmo: librarian.cmi 
+librarian.cmx: librarian.cmi 
 cicElim.cmo: cicElim.cmi 
 cicElim.cmx: cicElim.cmi 
 cicRecord.cmo: cicRecord.cmi