added comment about version number to be manually changed

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

diff --git a/matita/components/ng_cic_content/Makefile b/matita/components/ng_cic_content/Makefile
index c501a09e188d7d94f03c2e136ab3078d20384140..ac40a66f16d8d741c68e103dae35563ae179cefd 100644 (file)
--- a/matita/components/ng_cic_content/Makefile
+++ b/matita/components/ng_cic_content/Makefile
@@ -2,7 +2,7 @@ PACKAGE = ng_cic_content
 
 INTERFACE_FILES = \
        ncic2astMatcher.mli \
-       nTermCicContent.mli
+       interpretations.mli
 
 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)