X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FMakefile;h=3cacb50d17c35068664691c64f5f148ed0a3e2c5;hb=f9abd21eb0d26cf9b632af4df819225be4d091e3;hp=5b5a48593ad033b3696c953cf2be60819ca83225;hpb=40ecc6da8b481b45d6bf0e1cfd2c285e98ed8e35;p=helm.git

diff --git a/helm/software/components/ng_kernel/Makefile b/helm/software/components/ng_kernel/Makefile
index 5b5a48593..3cacb50d1 100644
--- a/helm/software/components/ng_kernel/Makefile
+++ b/helm/software/components/ng_kernel/Makefile
@@ -6,8 +6,6 @@ INTERFACE_FILES = \
 	nReference.mli \
 	nCicUtils.mli \
 	nCicSubstitution.mli \
-	oCic2NCic.mli  \
-	nCic2OCic.mli \
 	nCicEnvironment.mli \
 	nCicPp.mli \
 	nCicReduction.mli \