X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2F.depend;fp=helm%2Focaml%2Fcic_transformations%2F.depend;h=7506b4d527f028e9ec9521bcefbb6b12c61a23cd;hb=7eb9140b9347edefbe859c4736187a9f5809c322;hp=7b0cced5511b7c587f8be6b6c01d34c974457e21;hpb=3bf2a946765355da176ab16c9497230bdcae1176;p=helm.git

diff --git a/helm/ocaml/cic_transformations/.depend b/helm/ocaml/cic_transformations/.depend
index 7b0cced55..7506b4d52 100644
--- 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