X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_cic_content%2FMakefile;h=c501a09e188d7d94f03c2e136ab3078d20384140;hb=8bbe582d87984526f40182c4409cbfd43108cb79;hp=e899d62bd76429f2e7bc4476e7c05bc55d8bf254;hpb=a970a6b5d44947e466b94ff3df4fa66d85d0d9ca;p=helm.git

diff --git a/helm/software/components/ng_cic_content/Makefile b/helm/software/components/ng_cic_content/Makefile
index e899d62bd..c501a09e1 100644
--- 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)