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

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

diff --git a/helm/ocaml/grafite/.depend b/helm/ocaml/grafite/.depend
index c0590d25ad123da166ddcc48d7ef9e6e5d3a7c05..c5774b0697b00776f45ec260c941b5682a9eec0b 100644 (file)
--- a/helm/ocaml/grafite/.depend
+++ b/helm/ocaml/grafite/.depend
@@ -1,9 +1,12 @@
 grafiteAstPp.cmi: grafiteAst.cmo 
 grafiteParser.cmi: grafiteAst.cmo 
 cicNotation.cmi: grafiteAst.cmo 
+grafiteMarshal.cmi: grafiteAst.cmo 
 grafiteAstPp.cmo: grafiteAst.cmo grafiteAstPp.cmi 
 grafiteAstPp.cmx: grafiteAst.cmx grafiteAstPp.cmi 
 grafiteParser.cmo: grafiteAst.cmo grafiteParser.cmi 
 grafiteParser.cmx: grafiteAst.cmx grafiteParser.cmi 
 cicNotation.cmo: grafiteParser.cmi grafiteAst.cmo cicNotation.cmi 
 cicNotation.cmx: grafiteParser.cmx grafiteAst.cmx cicNotation.cmi 
+grafiteMarshal.cmo: grafiteAst.cmo grafiteMarshal.cmi 
+grafiteMarshal.cmx: grafiteAst.cmx grafiteMarshal.cmi