Huge commit with several changes:

[helm.git] / helm / software / components / ng_cic_content / Makefile

diff --git a/helm/software/components/ng_cic_content/Makefile b/helm/software/components/ng_cic_content/Makefile
index e899d62bd76429f2e7bc4476e7c05bc55d8bf254..c501a09e188d7d94f03c2e136ab3078d20384140 100644 (file)
--- a/helm/software/components/ng_cic_content/Makefile
+++ b/helm/software/components/ng_cic_content/Makefile
@@ -1,6 +1,7 @@
 PACKAGE = ng_cic_content
 
 INTERFACE_FILES = \
+       ncic2astMatcher.mli \
        nTermCicContent.mli
 
 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)