From 5e8e0400fe58e71bfae91eb2cb7327ec11ce9cbc Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 19 Jan 2005 15:48:44 +0000 Subject: [PATCH] fix coercGraph.mli --- helm/ocaml/cic_unification/.depend | 2 ++ 1 file changed, 2 insertions(+) diff --git a/helm/ocaml/cic_unification/.depend b/helm/ocaml/cic_unification/.depend index f007ff326..5699c2184 100644 --- a/helm/ocaml/cic_unification/.depend +++ b/helm/ocaml/cic_unification/.depend @@ -8,6 +8,8 @@ cicUnification.cmo: cicMetaSubst.cmi freshNamesGenerator.cmi \ cicUnification.cmi cicUnification.cmx: cicMetaSubst.cmx freshNamesGenerator.cmx \ cicUnification.cmi +coercGraph.cmo: freshNamesGenerator.cmi coercGraph.cmi +coercGraph.cmx: freshNamesGenerator.cmx coercGraph.cmi cicRefine.cmo: cicMetaSubst.cmi cicMkImplicit.cmi cicUnification.cmi \ freshNamesGenerator.cmi cicRefine.cmi cicRefine.cmx: cicMetaSubst.cmx cicMkImplicit.cmx cicUnification.cmx \ -- 2.39.2