- grafiteSync no longer used

[helm.git] / matita / components / grafite_engine / Makefile

diff --git a/matita/components/grafite_engine/Makefile b/matita/components/grafite_engine/Makefile
index b6eb8fc633fbf07429e851e5a2ef175f08229a19..c8d3866c06dffb1592ed7f4585e5895e7894a0f5 100644 (file)
--- 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)