X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_procedural%2F.depend.opt;h=caf6b8d45d4513e163f5a3a276eec72247332e80;hb=8c0ccf03dbefd83818bc3b6849634f422f8ec727;hp=f0b67ebc3660729e6fc732470de5fcbee648ed6d;hpb=750d027aedc76aac9def8885dc2bdb6ccdc049d9;p=helm.git

diff --git a/helm/software/components/acic_procedural/.depend.opt b/helm/software/components/acic_procedural/.depend.opt
index f0b67ebc3..caf6b8d45 100644
--- a/helm/software/components/acic_procedural/.depend.opt
+++ b/helm/software/components/acic_procedural/.depend.opt
@@ -10,8 +10,8 @@ proceduralTypes.cmo: proceduralHelpers.cmi proceduralTypes.cmi
 proceduralTypes.cmx: proceduralHelpers.cmx proceduralTypes.cmi 
 proceduralMode.cmo: proceduralClassify.cmi proceduralMode.cmi 
 proceduralMode.cmx: proceduralClassify.cmx proceduralMode.cmi 
-proceduralConversion.cmo: proceduralConversion.cmi 
-proceduralConversion.cmx: proceduralConversion.cmi 
+proceduralConversion.cmo: proceduralHelpers.cmi proceduralConversion.cmi 
+proceduralConversion.cmx: proceduralHelpers.cmx proceduralConversion.cmi 
 acic2Procedural.cmo: proceduralTypes.cmi proceduralHelpers.cmi \
     proceduralConversion.cmi proceduralClassify.cmi acic2Procedural.cmi 
 acic2Procedural.cmx: proceduralTypes.cmx proceduralHelpers.cmx \