From b16f00b453ffb484e9e6b02b00917ab7920b1a38 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 5 Oct 2005 09:02:08 +0000 Subject: [PATCH] rebuilt --- helm/ocaml/cic_disambiguation/.depend | 8 ++++---- helm/ocaml/cic_transformations/.depend | 2 -- helm/ocaml/paramodulation/.depend | 2 -- 3 files changed, 4 insertions(+), 8 deletions(-) diff --git a/helm/ocaml/cic_disambiguation/.depend b/helm/ocaml/cic_disambiguation/.depend index 69a68711f..555b7438d 100644 --- 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 2ab1d50be..3510045e9 100644 --- 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 591ad1df8..8a74093c5 100644 --- 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 -- 2.39.2