From e7f15937a2d1a29c659ca5d4d12eb8edf3cd0c3a Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 4 Feb 2004 15:57:21 +0000 Subject: [PATCH] ... --- helm/ocaml/cic_unification/.depend | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/helm/ocaml/cic_unification/.depend b/helm/ocaml/cic_unification/.depend index 3a4c2eae9..aaa723474 100644 --- a/helm/ocaml/cic_unification/.depend +++ b/helm/ocaml/cic_unification/.depend @@ -1,11 +1,10 @@ cicMkImplicit.cmo: cicMkImplicit.cmi cicMkImplicit.cmx: cicMkImplicit.cmi cicUnification.cmi: cicMetaSubst.cmi -cicRefine.cmi: cicMetaSubst.cmi cicMkImplicit.cmo: cicMkImplicit.cmi cicMkImplicit.cmx: cicMkImplicit.cmi -cicMetaSubst.cmo: cicMkImplicit.cmi cicMetaSubst.cmi -cicMetaSubst.cmx: cicMkImplicit.cmx cicMetaSubst.cmi +cicMetaSubst.cmo: cicMetaSubst.cmi +cicMetaSubst.cmx: cicMetaSubst.cmi cicUnification.cmo: cicMetaSubst.cmi cicUnification.cmi cicUnification.cmx: cicMetaSubst.cmx cicUnification.cmi cicRefine.cmo: cicMetaSubst.cmi cicMkImplicit.cmi cicUnification.cmi \ -- 2.39.2