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

diff --git a/matita/components/grafite_engine/Makefile b/matita/components/grafite_engine/Makefile
index b6eb8fc63..c8d3866c0 100644
--- a/matita/components/grafite_engine/Makefile
+++ b/matita/components/grafite_engine/Makefile
@@ -3,7 +3,6 @@ PREDICATES =
 
 INTERFACE_FILES = \
 	grafiteTypes.mli \
-	grafiteSync.mli \
 	nCicCoercDeclaration.mli \
 	grafiteEngine.mli \
 	$(NULL)