* Part of matita that used to deal with the library moved into ocaml/library

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

diff --git a/helm/ocaml/grafite/Makefile b/helm/ocaml/grafite/Makefile
index bc8ffc2584b4ef2c5e570480910f0787420ee0ad..0ce510b20d9fdc34fdcfefee8fa5ff5cd2c8aeda 100644 (file)
--- a/helm/ocaml/grafite/Makefile
+++ b/helm/ocaml/grafite/Makefile
@@ -5,6 +5,7 @@ INTERFACE_FILES =               \
        grafiteAstPp.mli        \
        grafiteParser.mli       \
        cicNotation.mli         \
+       grafiteMarshal.mli      \
        $(NULL)
 IMPLEMENTATION_FILES =         \
        grafiteAst.ml           \