Release coccinelle-0.1.3

[bpt/coccinelle.git] / ctl / .depend

diff --git a/ctl/.depend b/ctl/.depend
index df69418..8733390 100644 (file)
--- a/ctl/.depend
+++ b/ctl/.depend
@@ -2,9 +2,11 @@ ctl_engine.cmi: ../commons/ograph_extended.cmi ast_ctl.cmo
 pretty_print_ctl.cmi: ast_ctl.cmo 
 wrapper_ctl.cmi: ctl_engine.cmi ast_ctl.cmo 
 ctl_engine.cmo: pretty_print_ctl.cmi ../commons/ograph_extended.cmi \
-    flag_ctl.cmo ../commons/common.cmi ast_ctl.cmo ctl_engine.cmi 
+    flag_ctl.cmo ../globals/flag.cmo ../commons/common.cmi ast_ctl.cmo \
+    ctl_engine.cmi 
 ctl_engine.cmx: pretty_print_ctl.cmx ../commons/ograph_extended.cmx \
-    flag_ctl.cmx ../commons/common.cmx ast_ctl.cmx ctl_engine.cmi 
+    flag_ctl.cmx ../globals/flag.cmx ../commons/common.cmx ast_ctl.cmx \
+    ctl_engine.cmi 
 pretty_print_ctl.cmo: flag_ctl.cmo ../commons/common.cmi ast_ctl.cmo \
     pretty_print_ctl.cmi 
 pretty_print_ctl.cmx: flag_ctl.cmx ../commons/common.cmx ast_ctl.cmx \