]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/cic/.depend
ocaml 3.09 transition
[helm.git] / helm / ocaml / cic / .depend
index 9cf7fc9110446e3281f40820f61eb5083a8eb375..45305130d1b6ecd3f78a4e02ab0877823cc3ad25 100644 (file)
@@ -17,3 +17,5 @@ cicUtil.cmo: cic.cmo cicUtil.cmi
 cicUtil.cmx: cic.cmx cicUtil.cmi 
 helmLibraryObjects.cmo: cic.cmo helmLibraryObjects.cmi 
 helmLibraryObjects.cmx: cic.cmx helmLibraryObjects.cmi 
+libraryObjects.cmo: helmLibraryObjects.cmi libraryObjects.cmi 
+libraryObjects.cmx: helmLibraryObjects.cmx libraryObjects.cmi