big change in parsing, trying to make all functional

[helm.git] / matita / components / grafite / .depend

diff --git a/matita/components/grafite/.depend b/matita/components/grafite/.depend
index f305b15803a9f6b7f87ab353a1e871afb8f6a1a5..0e7eba45360f0bf75ae8db042fcf59d69a31bc4e 100644 (file)
--- a/matita/components/grafite/.depend
+++ b/matita/components/grafite/.depend
@@ -1,8 +1,5 @@
 grafiteAstPp.cmi: grafiteAst.cmo 
-grafiteMarshal.cmi: grafiteAst.cmo 
 grafiteAst.cmo: 
 grafiteAst.cmx: 
 grafiteAstPp.cmo: grafiteAst.cmo grafiteAstPp.cmi 
 grafiteAstPp.cmx: grafiteAst.cmx grafiteAstPp.cmi 
-grafiteMarshal.cmo: grafiteAstPp.cmi grafiteAst.cmo grafiteMarshal.cmi 
-grafiteMarshal.cmx: grafiteAstPp.cmx grafiteAst.cmx grafiteMarshal.cmi