X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Flibrary%2F.depend.opt;h=d8ff04797645c5804394afb7282e346a3075bbc5;hb=3c8a3783837bf7773437b12a089b8edf93879b5d;hp=190aaf9b7ed952df67f019f3f11da1f30b47656e;hpb=4a62bde42e3655a7829b9281d9b9057dc32c0471;p=helm.git

diff --git a/components/library/.depend.opt b/components/library/.depend.opt
index 190aaf9b7..d8ff04797 100644
--- a/components/library/.depend.opt
+++ b/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