X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fcontent%2FMakefile;h=5ea3ee796506539d4b451a7e871d2b42f87027a6;hb=0d2bfb98d8343b4e6cefdb506a813b7cb5749630;hp=2f1a3896a3881f21501ddcd7d0dec766c717383d;hpb=5553ac7623425bce6f34eed6e17d4f0f8163e9aa;p=helm.git

diff --git a/matita/components/content/Makefile b/matita/components/content/Makefile
index 2f1a3896a..5ea3ee796 100644
--- a/matita/components/content/Makefile
+++ b/matita/components/content/Makefile
@@ -3,13 +3,13 @@ PREDICATES =
 
 INTERFACE_FILES =		\
 	content.mli		\
-	cicNotationUtil.mli	\
-	cicNotationEnv.mli	\
-	cicNotationPp.mli	\
+	notationUtil.mli	\
+	notationEnv.mli	\
+	notationPp.mli	\
 	interpretations.mli \
 	$(NULL)
 IMPLEMENTATION_FILES =		\
-	cicNotationPt.ml	\
+	notationPt.ml	\
 	$(INTERFACE_FILES:%.mli=%.ml)
 
 include ../../Makefile.defs