rebuilt

diff --git a/helm/ocaml/cic_disambiguation/.depend b/helm/ocaml/cic_disambiguation/.depend
index 69a68711f5a2b302edf2e560a7ee5b3dc01f19b7..555b7438d26089b96e92a9a7459552759a346340 100644 (file)
--- a/helm/ocaml/cic_disambiguation/.depend
+++ b/helm/ocaml/cic_disambiguation/.depend
@@ -9,9 +9,9 @@ disambiguatePp.cmo: disambiguateTypes.cmi disambiguateChoices.cmi \
     disambiguatePp.cmi 
 disambiguatePp.cmx: disambiguateTypes.cmx disambiguateChoices.cmx \
     disambiguatePp.cmi 
-disambiguate.cmo: disambiguateTypes.cmi disambiguatePp.cmi \
-    disambiguateChoices.cmi disambiguate.cmi 
-disambiguate.cmx: disambiguateTypes.cmx disambiguatePp.cmx \
-    disambiguateChoices.cmx disambiguate.cmi 
+disambiguate.cmo: disambiguateTypes.cmi disambiguateChoices.cmi \
+    disambiguate.cmi 
+disambiguate.cmx: disambiguateTypes.cmx disambiguateChoices.cmx \
+    disambiguate.cmi 
 number_notation.cmo: disambiguateTypes.cmi disambiguateChoices.cmi 
 number_notation.cmx: disambiguateTypes.cmx disambiguateChoices.cmx 

diff --git a/helm/ocaml/cic_transformations/.depend b/helm/ocaml/cic_transformations/.depend
index 2ab1d50be8ca0b485508764efdf0b4dfdf482595..3510045e9c06ff45125692ecf84099f4b840f443 100644 (file)
--- a/helm/ocaml/cic_transformations/.depend
+++ b/helm/ocaml/cic_transformations/.depend
@@ -8,8 +8,6 @@ domMisc.cmo: domMisc.cmi
 domMisc.cmx: domMisc.cmi 
 xml2Gdome.cmo: xml2Gdome.cmi 
 xml2Gdome.cmx: xml2Gdome.cmi 
-sequentPp.cmo: cic2Xml.cmi sequentPp.cmi 
-sequentPp.cmx: cic2Xml.cmx sequentPp.cmi 
 applyTransformation.cmo: xml2Gdome.cmi sequent2pres.cmi domMisc.cmi \
     content2pres.cmi applyTransformation.cmi 
 applyTransformation.cmx: xml2Gdome.cmx sequent2pres.cmx domMisc.cmx \

diff --git a/helm/ocaml/paramodulation/.depend b/helm/ocaml/paramodulation/.depend
index 591ad1df82905c6de8596189ef4379113b09baef..8a74093c520f172ccbd27fd83543e81c5c268078 100644 (file)
--- a/helm/ocaml/paramodulation/.depend
+++ b/helm/ocaml/paramodulation/.depend
@@ -11,5 +11,3 @@ indexing.cmo: utils.cmi inference.cmi discrimination_tree.cmo
 indexing.cmx: utils.cmx inference.cmx discrimination_tree.cmx 
 saturation.cmo: utils.cmi inference.cmi indexing.cmo 
 saturation.cmx: utils.cmx inference.cmx indexing.cmx 
-saturate_main.cmo: utils.cmi saturation.cmo 
-saturate_main.cmx: utils.cmx saturation.cmx