X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcic_unification%2FMakefile;h=ad87356d14d939f506b8552fbf994f2cb0a3b06b;hb=61fdd44c21a3655c3dcea52601c59b31414f8860;hp=d0c259b2799cd3692a7e7810ea6553dd649aa3a1;hpb=5d010a40c726d9a7eceeb35e70e41a158eb63c70;p=helm.git

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