Huge reorganization of matita and ocaml.

[helm.git] / helm / ocaml / grafite2 / Makefile

diff --git a/helm/ocaml/grafite2/Makefile b/helm/ocaml/grafite2/Makefile
index 5a8d64fadceeaa905b590a58dcdec8720eb1eae5..7fac4b296c978f8f2669d9d4a9b831bd9a7371e0 100644 (file)
--- a/helm/ocaml/grafite2/Makefile
+++ b/helm/ocaml/grafite2/Makefile
@@ -3,8 +3,7 @@ PREDICATES =
 
 INTERFACE_FILES = \
        grafiteTypes.mli \
-       disambiguatePp.mli \
-       matitaSync.mli \
+       grafiteSync.mli \
        grafiteMisc.mli \
        grafiteEngine.mli \
        $(NULL)