X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_textual_parser%2F.depend;fp=helm%2Focaml%2Fcic_textual_parser%2F.depend;h=f5ce25fb95eefbbd3ce55c4c6b88b1d38a312f49;hb=4c9da07604c4f8b66e4e92861ee38129422d23fb;hp=d7aabf85c141c2c75af8397299086baee2d0c2d2;hpb=11b9b274291baa8c5462b2ce3e2a5f93a39c9d57;p=helm.git

diff --git a/helm/ocaml/cic_textual_parser/.depend b/helm/ocaml/cic_textual_parser/.depend
index d7aabf85c..f5ce25fb9 100644
--- a/helm/ocaml/cic_textual_parser/.depend
+++ b/helm/ocaml/cic_textual_parser/.depend
@@ -6,5 +6,5 @@ cicTextualParserContext.cmo: cicTextualParser.cmi cicTextualParser0.cmo \
     cicTextualParserContext.cmi 
 cicTextualParserContext.cmx: cicTextualParser.cmx cicTextualParser0.cmx \
     cicTextualParserContext.cmi 
-cicTextualLexer.cmo: cicTextualParser.cmi 
-cicTextualLexer.cmx: cicTextualParser.cmx 
+cicTextualLexer.cmo: cicTextualParser.cmi cicTextualParser0.cmo 
+cicTextualLexer.cmx: cicTextualParser.cmx cicTextualParser0.cmx