X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcic_unification%2FMakefile;h=ad87356d14d939f506b8552fbf994f2cb0a3b06b;hb=60f0eb9495af3b713c83ece46effd76dbaa40ce6;hp=62be3a61c844bf4ad60cf820149599bf429d0f0f;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/cic_unification/Makefile b/helm/software/components/cic_unification/Makefile
index 62be3a61c..ad87356d1 100644
--- a/helm/software/components/cic_unification/Makefile
+++ b/helm/software/components/cic_unification/Makefile
@@ -4,7 +4,10 @@ PREDICATES =
 INTERFACE_FILES = \
 	cicMetaSubst.mli \
 	cicMkImplicit.mli \
+	termUtil.mli \
+	coercGraph.mli \
 	cicUnification.mli \
+	cicReplace.mli \
 	cicRefine.mli
 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
 EXTRA_OBJECTS_TO_INSTALL =