milestone in basic_2, λδ-2A reconstructed

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

diff --git a/helm/software/components/acic_content/Makefile b/helm/software/components/acic_content/Makefile
index 862a9eefb7621142d08c15ea75279b2ee4e090ed..72aa997d15ae21b778b7988eb6a09dc0fc8dd368 100644 (file)
--- a/helm/software/components/acic_content/Makefile
+++ b/helm/software/components/acic_content/Makefile
@@ -3,7 +3,6 @@ PREDICATES =
 
 INTERFACE_FILES =              \
        content.mli             \
-       contentPp.mli           \
        acic2content.mli        \
        content2cic.mli         \
        cicNotationUtil.mli     \