- cic_exportation, cic_acic, acic_content (only parts related to acic)

[helm.git] / matita / components / cic / Makefile

diff --git a/matita/components/cic/Makefile b/matita/components/cic/Makefile
index 07f1d3f146e148748b0121d822fccae1e681482e..2ffea3e4df9028d16bee614984d09233d1935759 100644 (file)
--- a/matita/components/cic/Makefile
+++ b/matita/components/cic/Makefile
@@ -11,7 +11,8 @@ INTERFACE_FILES = \
        libraryObjects.mli      \
        cic_indexable.mli \
        path_indexing.mli       \
-       cicInspect.mli
+       cicInspect.mli \
+       cicPp.mli
 IMPLEMENTATION_FILES = \
        cic.ml $(INTERFACE_FILES:%.mli=%.ml)
 EXTRA_OBJECTS_TO_INSTALL = cic.ml cic.cmi