]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/library/.depend.opt
BIG FAT WARNING: DEVELOPMENTS DIE HERE
[helm.git] / helm / software / components / library / .depend.opt
index 190aaf9b7ed952df67f019f3f11da1f30b47656e..d8ff04797645c5804394afb7282e346a3075bbc5 100644 (file)
@@ -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