From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 19 Jan 2005 15:48:44 +0000 (+0000)
Subject: fix coercGraph.mli
X-Git-Tag: V_0_1_0~123
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5e8e0400fe58e71bfae91eb2cb7327ec11ce9cbc;p=helm.git

fix coercGraph.mli
---

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 \