X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2FMakefile;h=d73177b456faead9a7412e05b75b414bcf91f54e;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=9a3d053835fdbcd744f20fab359837a634e7cae1;hpb=ed207660b8a0fa34f1d34b9dbb41144c5be29e68;p=helm.git

diff --git a/helm/ocaml/cic/Makefile b/helm/ocaml/cic/Makefile
index 9a3d05383..d73177b45 100644
--- a/helm/ocaml/cic/Makefile
+++ b/helm/ocaml/cic/Makefile
@@ -9,7 +9,6 @@ INTERFACE_FILES = \
 	cicParser.mli		\
 	cicUtil.mli		\
 	helmLibraryObjects.mli  \
-        matitaLibraryObjects.mli \
         libraryObjects.mli
 IMPLEMENTATION_FILES = \
 	cic.ml $(INTERFACE_FILES:%.mli=%.ml)