X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Fcic_unification%2FMakefile;h=d0c259b2799cd3692a7e7810ea6553dd649aa3a1;hb=7dbc6d6fe71f6967f5ad31528a629dc89e6d8160;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..d0c259b27 100644
--- a/helm/software/components/cic_unification/Makefile
+++ b/helm/software/components/cic_unification/Makefile
@@ -4,6 +4,8 @@ PREDICATES =
 INTERFACE_FILES = \
 	cicMetaSubst.mli \
 	cicMkImplicit.mli \
+	termUtil.mli \
+	coercGraph.mli \
 	cicUnification.mli \
 	cicRefine.mli
 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)