X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgrafite_engine%2FMakefile;h=b6eed1e88038c245408f7b54b11a839bbeb10114;hb=e869500069d11aadd7bbe8afddcdd9044d0b56a7;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..b6eed1e88 100644
--- a/helm/software/components/grafite_engine/Makefile
+++ b/helm/software/components/grafite_engine/Makefile
@@ -4,7 +4,6 @@ PREDICATES =
 INTERFACE_FILES = \
 	grafiteTypes.mli \
 	grafiteSync.mli \
-	grafiteMisc.mli \
 	grafiteEngine.mli \
 	$(NULL)
 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)