X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgrafite_engine%2FMakefile;h=b6eb8fc633fbf07429e851e5a2ef175f08229a19;hb=89fc31fc5cc01e8860cf67a8e096c24125370d31;hp=d810e1be2d68230a0d6852679b7d7fee0fd48862;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

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