X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftex_cic_textual_parser%2F.depend;h=71156776aa24e0e03b0c760c3e547315a5c8d578;hb=4c9da07604c4f8b66e4e92861ee38129422d23fb;hp=28a4689f8b4ea35ea2280da0ce5a86d93abfed8f;hpb=11b9b274291baa8c5462b2ce3e2a5f93a39c9d57;p=helm.git

diff --git a/helm/ocaml/tex_cic_textual_parser/.depend b/helm/ocaml/tex_cic_textual_parser/.depend
index 28a4689f8..71156776a 100644
--- a/helm/ocaml/tex_cic_textual_parser/.depend
+++ b/helm/ocaml/tex_cic_textual_parser/.depend
@@ -1,6 +1,4 @@
-texCicTextualParser.cmi: texCicTextualParser0.cmo 
-texCicTextualParserContext.cmi: texCicTextualParser.cmi \
-    texCicTextualParser0.cmo 
+texCicTextualParserContext.cmi: texCicTextualParser.cmi 
 texCicTextualParser.cmo: texCicTextualParser0.cmo texCicTextualParser.cmi 
 texCicTextualParser.cmx: texCicTextualParser0.cmx texCicTextualParser.cmi 
 texCicTextualParserContext.cmo: texCicTextualParser.cmi \