X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_procedural%2F.depend.opt;h=1b2fc5ff0b5505e2701e7cf404bc9ec3f2944937;hb=94c0dace142ca00a1b5e1a63d83f65d86e3a1c8d;hp=61c8bfef857c3c53dfdc29b2d7582e07b0d24dc3;hpb=1f974ca07c502d85c9a3760aaaf633bae3c84fb6;p=helm.git

diff --git a/helm/software/components/acic_procedural/.depend.opt b/helm/software/components/acic_procedural/.depend.opt
index 61c8bfef8..1b2fc5ff0 100644
--- a/helm/software/components/acic_procedural/.depend.opt
+++ b/helm/software/components/acic_procedural/.depend.opt
@@ -1,11 +1,13 @@
+proceduralTypes.cmo: proceduralTypes.cmi 
+proceduralTypes.cmx: proceduralTypes.cmi 
 proceduralClassify.cmo: proceduralClassify.cmi 
 proceduralClassify.cmx: proceduralClassify.cmi 
 proceduralMode.cmo: proceduralClassify.cmi proceduralMode.cmi 
 proceduralMode.cmx: proceduralClassify.cmx proceduralMode.cmi 
-proceduralConversion.cmo: proceduralConversion.cmi 
-proceduralConversion.cmx: proceduralConversion.cmi 
-proceduralTypes.cmo: proceduralTypes.cmi 
-proceduralTypes.cmx: proceduralTypes.cmi 
+proceduralConversion.cmo: proceduralTypes.cmi proceduralClassify.cmi \
+    proceduralConversion.cmi 
+proceduralConversion.cmx: proceduralTypes.cmx proceduralClassify.cmx \
+    proceduralConversion.cmi 
 acic2Procedural.cmo: proceduralTypes.cmi proceduralMode.cmi \
     proceduralConversion.cmi proceduralClassify.cmi acic2Procedural.cmi 
 acic2Procedural.cmx: proceduralTypes.cmx proceduralMode.cmx \