Huge reorganization of matita and ocaml.

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

diff --git a/helm/ocaml/grafite/Makefile b/helm/ocaml/grafite/Makefile
index b16d7b7dd41f807e94a6a0334614fbaa5a4948aa..182cd456171cef5b2225ce19cdef45dd6c9f8f39 100644 (file)
--- a/helm/ocaml/grafite/Makefile
+++ b/helm/ocaml/grafite/Makefile
@@ -3,7 +3,6 @@ PREDICATES =
 
 INTERFACE_FILES =              \
        grafiteAstPp.mli        \
-       cicNotation.mli         \
        grafiteMarshal.mli      \
        $(NULL)
 IMPLEMENTATION_FILES =         \