From 584b41f19e52c2a29af06d128a1709faeec5bd81 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 14 Dec 2006 18:15:55 +0000 Subject: [PATCH] ... --- helm/software/components/cic_unification/.depend | 14 ++++++-------- 1 file changed, 6 insertions(+), 8 deletions(-) diff --git a/helm/software/components/cic_unification/.depend b/helm/software/components/cic_unification/.depend index 8a34e7deb..9fa71a619 100644 --- a/helm/software/components/cic_unification/.depend +++ b/helm/software/components/cic_unification/.depend @@ -1,15 +1,13 @@ -termUtil.cmo: cicMkImplicit.cmi termUtil.cmi -termUtil.cmx: cicMkImplicit.cmx termUtil.cmi -coercGraph.cmo: coercGraph.cmi -coercGraph.cmx: coercGraph.cmi cicMetaSubst.cmo: cicMetaSubst.cmi cicMetaSubst.cmx: cicMetaSubst.cmi cicMkImplicit.cmo: cicMkImplicit.cmi cicMkImplicit.cmx: cicMkImplicit.cmi -cicUnification.cmo: coercGraph.cmi cicMkImplicit.cmi cicMetaSubst.cmi \ - cicUnification.cmi -cicUnification.cmx: coercGraph.cmx cicMkImplicit.cmx cicMetaSubst.cmx \ - cicUnification.cmi +termUtil.cmo: cicMkImplicit.cmi termUtil.cmi +termUtil.cmx: cicMkImplicit.cmx termUtil.cmi +coercGraph.cmo: termUtil.cmi cicMkImplicit.cmi coercGraph.cmi +coercGraph.cmx: termUtil.cmx cicMkImplicit.cmx coercGraph.cmi +cicUnification.cmo: coercGraph.cmi cicMetaSubst.cmi cicUnification.cmi +cicUnification.cmx: coercGraph.cmx cicMetaSubst.cmx cicUnification.cmi cicRefine.cmo: coercGraph.cmi cicUnification.cmi cicMkImplicit.cmi \ cicMetaSubst.cmi cicRefine.cmi cicRefine.cmx: coercGraph.cmx cicUnification.cmx cicMkImplicit.cmx \ -- 2.39.2