From 295412c8773a6483962abcae3973faf3399c4822 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 13 Sep 2005 13:22:23 +0000 Subject: [PATCH] regenerated --- helm/ocaml/cic_disambiguation/.depend | 16 +++++++++------- 1 file changed, 9 insertions(+), 7 deletions(-) diff --git a/helm/ocaml/cic_disambiguation/.depend b/helm/ocaml/cic_disambiguation/.depend index 72f85a734..69a68711f 100644 --- a/helm/ocaml/cic_disambiguation/.depend +++ b/helm/ocaml/cic_disambiguation/.depend @@ -1,15 +1,17 @@ -disambiguatePp.cmi: disambiguateTypes.cmi disambiguateChoices.cmi: disambiguateTypes.cmi +disambiguatePp.cmi: disambiguateTypes.cmi disambiguate.cmi: disambiguateTypes.cmi disambiguateTypes.cmo: disambiguateTypes.cmi disambiguateTypes.cmx: disambiguateTypes.cmi -disambiguatePp.cmo: disambiguateTypes.cmi disambiguatePp.cmi -disambiguatePp.cmx: disambiguateTypes.cmx disambiguatePp.cmi disambiguateChoices.cmo: disambiguateTypes.cmi disambiguateChoices.cmi disambiguateChoices.cmx: disambiguateTypes.cmx disambiguateChoices.cmi -disambiguate.cmo: disambiguateTypes.cmi disambiguateChoices.cmi \ - disambiguate.cmi -disambiguate.cmx: disambiguateTypes.cmx disambiguateChoices.cmx \ - disambiguate.cmi +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 number_notation.cmo: disambiguateTypes.cmi disambiguateChoices.cmi number_notation.cmx: disambiguateTypes.cmx disambiguateChoices.cmx -- 2.39.2