we rebuilt the dependences

[helm.git] / helm / software / components / tactics / .depend.opt

diff --git a/helm/software/components/tactics/.depend.opt b/helm/software/components/tactics/.depend.opt
index 94235e520de502017011d6b6de79c2674f319b5a..a278f6f0836f66a12becb40648662f44c709a1e6 100644 (file)
--- a/helm/software/components/tactics/.depend.opt
+++ b/helm/software/components/tactics/.depend.opt
@@ -91,11 +91,11 @@ paramodulation/equality_indexing.cmo: paramodulation/utils.cmi \
 paramodulation/equality_indexing.cmx: paramodulation/utils.cmx \
     paramodulation/equality.cmx paramodulation/equality_indexing.cmi 
 paramodulation/indexing.cmo: paramodulation/utils.cmi \
-    paramodulation/subst.cmi paramodulation/founif.cmi \
+    paramodulation/subst.cmi proofEngineTypes.cmi paramodulation/founif.cmi \
     paramodulation/equality_indexing.cmi paramodulation/equality.cmi \
     paramodulation/indexing.cmi 
 paramodulation/indexing.cmx: paramodulation/utils.cmx \
-    paramodulation/subst.cmx paramodulation/founif.cmx \
+    paramodulation/subst.cmx proofEngineTypes.cmx paramodulation/founif.cmx \
     paramodulation/equality_indexing.cmx paramodulation/equality.cmx \
     paramodulation/indexing.cmi 
 paramodulation/saturation.cmo: paramodulation/utils.cmi \