added command and script ASTs with _debugging_only_ pretty printers

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

diff --git a/helm/ocaml/cic_transformations/.depend b/helm/ocaml/cic_transformations/.depend
index 7b0cced5511b7c587f8be6b6c01d34c974457e21..7506b4d527f028e9ec9521bcefbb6b12c61a23cd 100644 (file)
--- a/helm/ocaml/cic_transformations/.depend
+++ b/helm/ocaml/cic_transformations/.depend
@@ -9,6 +9,10 @@ acic2Ast.cmi: cicAst.cmo
 tacticAstPp.cmi: cicAst.cmo tacticAst.cmo 
 boxPp.cmi: box.cmi cicAst.cmo 
 tacticAst2Box.cmi: box.cmi cicAst.cmo tacticAst.cmo 
+tacticAst.cmo: cicAst.cmo 
+tacticAst.cmx: cicAst.cmx 
+commandAst.cmo: cicAst.cmo cicAstPp.cmi tacticAst.cmo tacticAstPp.cmi 
+commandAst.cmx: cicAst.cmx cicAstPp.cmx tacticAst.cmx tacticAstPp.cmx 
 box.cmo: box.cmi 
 box.cmx: box.cmi 
 contentTable.cmo: cicAst.cmo contentTable.cmi 
@@ -57,7 +61,7 @@ tacticAstPp.cmo: cicAstPp.cmi tacticAst.cmo tacticAstPp.cmi
 tacticAstPp.cmx: cicAstPp.cmx tacticAst.cmx tacticAstPp.cmi 
 boxPp.cmo: ast2pres.cmi box.cmi cicAstPp.cmi boxPp.cmi 
 boxPp.cmx: ast2pres.cmx box.cmx cicAstPp.cmx boxPp.cmi 
-tacticAst2Box.cmo: ast2pres.cmi box.cmi boxPp.cmi tacticAst.cmo \
+tacticAst2Box.cmo: ast2pres.cmi box.cmi boxPp.cmi cicAstPp.cmi tacticAst.cmo \
     tacticAstPp.cmi tacticAst2Box.cmi 
-tacticAst2Box.cmx: ast2pres.cmx box.cmx boxPp.cmx tacticAst.cmx \
+tacticAst2Box.cmx: ast2pres.cmx box.cmx boxPp.cmx cicAstPp.cmx tacticAst.cmx \
     tacticAstPp.cmx tacticAst2Box.cmi