mathql query generator interface patched

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

diff --git a/helm/ocaml/cic_textual_parser/.depend b/helm/ocaml/cic_textual_parser/.depend
index d7aabf85c141c2c75af8397299086baee2d0c2d2..f5ce25fb95eefbbd3ce55c4c6b88b1d38a312f49 100644 (file)
--- 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