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

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