X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcic_unification%2FMakefile;h=d0c259b2799cd3692a7e7810ea6553dd649aa3a1;hb=1308643448fc685f58827de4c68fc98d0f701062;hp=62be3a61c844bf4ad60cf820149599bf429d0f0f;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/components/cic_unification/Makefile b/components/cic_unification/Makefile
index 62be3a61c..d0c259b27 100644
--- a/components/cic_unification/Makefile
+++ b/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)