splitted History module out of StatefulProofEngine

[helm.git] / helm / ocaml / tactics / .depend

diff --git a/helm/ocaml/tactics/.depend b/helm/ocaml/tactics/.depend
index 242671197dbba22a25c922740e9ff67ae09d7acc..972c7071cba7380a31725bf77e4b6026de428219 100644 (file)
--- a/helm/ocaml/tactics/.depend
+++ b/helm/ocaml/tactics/.depend
@@ -16,8 +16,6 @@ fourierR.cmi: proofEngineTypes.cmi
 statefulProofEngine.cmi: proofEngineTypes.cmi 
 proofEngineTypes.cmo: proofEngineTypes.cmi 
 proofEngineTypes.cmx: proofEngineTypes.cmi 
-proofEngineTypes.cmo: proofEngineTypes.cmi 
-proofEngineTypes.cmx: proofEngineTypes.cmi 
 newConstraints.cmo: newConstraints.cmi 
 newConstraints.cmx: newConstraints.cmi 
 match_concl.cmo: newConstraints.cmi match_concl.cmi 
@@ -92,5 +90,9 @@ fourierR.cmo: equalityTactics.cmi fourier.cmi primitiveTactics.cmi \
 fourierR.cmx: equalityTactics.cmx fourier.cmx primitiveTactics.cmx \
     proofEngineHelpers.cmx proofEngineTypes.cmx reductionTactics.cmx ring.cmx \
     tacticals.cmx fourierR.cmi 
-statefulProofEngine.cmo: proofEngineTypes.cmi statefulProofEngine.cmi 
-statefulProofEngine.cmx: proofEngineTypes.cmx statefulProofEngine.cmi 
+history.cmo: history.cmi 
+history.cmx: history.cmi 
+statefulProofEngine.cmo: history.cmi proofEngineTypes.cmi \
+    statefulProofEngine.cmi 
+statefulProofEngine.cmx: history.cmx proofEngineTypes.cmx \
+    statefulProofEngine.cmi