cicDischarge: new module for discharging the explicit variables occurring in a

[helm.git] / helm / software / components / acic_procedural / .depend

diff --git a/helm/software/components/acic_procedural/.depend b/helm/software/components/acic_procedural/.depend
index f0b67ebc3660729e6fc732470de5fcbee648ed6d..caf6b8d45d4513e163f5a3a276eec72247332e80 100644 (file)
--- a/helm/software/components/acic_procedural/.depend
+++ b/helm/software/components/acic_procedural/.depend
@@ -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 \