X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcic_unification%2FMakefile;h=ad87356d14d939f506b8552fbf994f2cb0a3b06b;hb=0bc1d5f7eb6c9ba8603c59a4d671d4b186e48508;hp=d0c259b2799cd3692a7e7810ea6553dd649aa3a1;hpb=6bb370c6e1a036e82315765d6dceb1939c30ed23;p=helm.git

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