cicAnnotationHinter.ml* were in the library without any reason.

[helm.git] / helm / annotationHelper / Makefile

diff --git a/helm/annotationHelper/Makefile b/helm/annotationHelper/Makefile
index 5c7de7bd5989fbac0085f4d35c59651d8e985a87..2752dce0178e1dfe68f296efccf82f1b6f0f5a35 100644 (file)
--- a/helm/annotationHelper/Makefile
+++ b/helm/annotationHelper/Makefile
@@ -9,9 +9,9 @@ OCAMLDEP = ocamldep
 all: cicAnnotationHelper
 opt: cicAnnotationHelper.opt
 
-DEPOBJS = cicAnnotationHelper.ml
+DEPOBJS = cicAnnotationHinter.mli cicAnnotationHinter.ml cicAnnotationHelper.ml
 
-CICANNOTATIONHELPEROBJS = cicAnnotationHelper.cmo
+CICANNOTATIONHELPEROBJS = cicAnnotationHinter.cmo cicAnnotationHelper.cmo
 
 depend:
        $(OCAMLDEP) $(DEPOBJS) > .depend