X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgrafite_engine%2FMakefile;h=b6eb8fc633fbf07429e851e5a2ef175f08229a19;hb=8a218c35f9bde765a73f14867a294c874f9dc15c;hp=b6eed1e88038c245408f7b54b11a839bbeb10114;hpb=ee3f8d6fa92b051394a2ff7c71c03ac33a05182b;p=helm.git

diff --git a/helm/software/components/grafite_engine/Makefile b/helm/software/components/grafite_engine/Makefile
index b6eed1e88..b6eb8fc63 100644
--- a/helm/software/components/grafite_engine/Makefile
+++ b/helm/software/components/grafite_engine/Makefile
@@ -4,6 +4,7 @@ PREDICATES =
 INTERFACE_FILES = \
 	grafiteTypes.mli \
 	grafiteSync.mli \
+	nCicCoercDeclaration.mli \
 	grafiteEngine.mli \
 	$(NULL)
 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)