X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgrafite%2F.depend;fp=matita%2Fcomponents%2Fgrafite%2F.depend;h=0e7eba45360f0bf75ae8db042fcf59d69a31bc4e;hb=f3f6b451707a3feb8245717e3fa7ca25df0ce8ef;hp=f305b15803a9f6b7f87ab353a1e871afb8f6a1a5;hpb=d145ea48ed0bdb9642ced01283231f3f13d476b8;p=helm.git

diff --git a/matita/components/grafite/.depend b/matita/components/grafite/.depend
index f305b1580..0e7eba453 100644
--- 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