X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FannotationHelper%2F.depend;h=699b8de3af6551e61d885dca906b4248c212bf90;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=e69de29bb2d1d6434b8b29ae775ad8c2e48c5391;hpb=125e2d7e5055fe756c31fefaf625f63147d1bcf7;p=helm.git

diff --git a/helm/annotationHelper/.depend b/helm/annotationHelper/.depend
index e69de29bb..699b8de3a 100644
--- a/helm/annotationHelper/.depend
+++ b/helm/annotationHelper/.depend
@@ -0,0 +1,4 @@
+cicAnnotationHinter.cmo: cicAnnotationHinter.cmi 
+cicAnnotationHinter.cmx: cicAnnotationHinter.cmi 
+cicAnnotationHelper.cmo: cicAnnotationHinter.cmi 
+cicAnnotationHelper.cmx: cicAnnotationHinter.cmx