- oCic2NCic and nCic2OCic moved to ng_library

[helm.git] / helm / software / components / ng_kernel / Makefile

diff --git a/helm/software/components/ng_kernel/Makefile b/helm/software/components/ng_kernel/Makefile
index 5b5a48593ad033b3696c953cf2be60819ca83225..3cacb50d17c35068664691c64f5f148ed0a3e2c5 100644 (file)
--- 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 \