From 3c70702720a8b63282f0aac3ed2d40abe6127817 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 5 Feb 2004 13:32:25 +0000 Subject: [PATCH] rebuilt --- helm/ocaml/cic_unification/.depend | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/helm/ocaml/cic_unification/.depend b/helm/ocaml/cic_unification/.depend index 8828b40df..30f6d160b 100644 --- a/helm/ocaml/cic_unification/.depend +++ b/helm/ocaml/cic_unification/.depend @@ -1,12 +1,14 @@ +cicMkImplicit.cmo: cicMkImplicit.cmi +cicMkImplicit.cmx: cicMkImplicit.cmi cicUnification.cmi: cicMetaSubst.cmi -freshNamesGenerator.cmo: freshNamesGenerator.cmi -freshNamesGenerator.cmx: freshNamesGenerator.cmi cicMkImplicit.cmo: cicMkImplicit.cmi cicMkImplicit.cmx: cicMkImplicit.cmi cicMetaSubst.cmo: cicMetaSubst.cmi cicMetaSubst.cmx: cicMetaSubst.cmi cicUnification.cmo: cicMetaSubst.cmi cicUnification.cmi cicUnification.cmx: cicMetaSubst.cmx cicUnification.cmi +freshNamesGenerator.cmo: freshNamesGenerator.cmi +freshNamesGenerator.cmx: freshNamesGenerator.cmi cicRefine.cmo: cicMetaSubst.cmi cicMkImplicit.cmi cicUnification.cmi \ freshNamesGenerator.cmi cicRefine.cmi cicRefine.cmx: cicMetaSubst.cmx cicMkImplicit.cmx cicUnification.cmx \ -- 2.39.2