X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_annotations%2F.depend;h=2c30fa7d7cc312d8b1ef349d29a0bd543df7b318;hb=5325734bc2e4927ed7ec146e35a6f0f2b49f50c1;hp=ac3b26ba0df44893f8120a9ca43d70a94e198339;hpb=d4dd07ecc4191d9dac83b5d4d23dfc61c4492d77;p=helm.git

diff --git a/helm/ocaml/cic_annotations/.depend b/helm/ocaml/cic_annotations/.depend
index ac3b26ba0..2c30fa7d7 100644
--- a/helm/ocaml/cic_annotations/.depend
+++ b/helm/ocaml/cic_annotations/.depend
@@ -1,2 +1,8 @@
-cicAnnotationParser.cmo: cicAnnotationParser2.cmo 
-cicAnnotationParser.cmx: cicAnnotationParser2.cmx 
+cicXPath.cmo: cicXPath.cmi 
+cicXPath.cmx: cicXPath.cmi 
+cicAnnotation2Xml.cmo: cicXPath.cmi cicAnnotation2Xml.cmi 
+cicAnnotation2Xml.cmx: cicXPath.cmx cicAnnotation2Xml.cmi 
+cicAnnotationParser2.cmo: cicAnnotationParser2.cmi 
+cicAnnotationParser2.cmx: cicAnnotationParser2.cmi 
+cicAnnotationParser.cmo: cicAnnotationParser2.cmi cicAnnotationParser.cmi 
+cicAnnotationParser.cmx: cicAnnotationParser2.cmx cicAnnotationParser.cmi