X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=components%2Fgrafite_engine%2FMakefile;h=b6eed1e88038c245408f7b54b11a839bbeb10114;hb=9333fdbe385f6e80b272b194e88001f28dbc8d73;hp=d810e1be2d68230a0d6852679b7d7fee0fd48862;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/components/grafite_engine/Makefile b/components/grafite_engine/Makefile
index d810e1be2..b6eed1e88 100644
--- a/components/grafite_engine/Makefile
+++ b/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)