From 727ef55d2a6202a989c274f6caa1b0e1b7307880 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 30 Nov 2005 12:33:06 +0000
Subject: [PATCH] coercGraph.ml* moved from cic_unification to library

---
 helm/ocaml/cic_unification/.depend                     | 10 ++++------
 helm/ocaml/cic_unification/Makefile                    |  1 -
 helm/ocaml/library/.depend                             |  3 +++
 helm/ocaml/library/Makefile                            |  1 +
 helm/ocaml/{cic_unification => library}/coercGraph.ml  |  0
 helm/ocaml/{cic_unification => library}/coercGraph.mli |  0
 6 files changed, 8 insertions(+), 7 deletions(-)
 rename helm/ocaml/{cic_unification => library}/coercGraph.ml (100%)
 rename helm/ocaml/{cic_unification => library}/coercGraph.mli (100%)

diff --git a/helm/ocaml/cic_unification/.depend b/helm/ocaml/cic_unification/.depend
index 1fc74e25b..a442c1d4d 100644
--- a/helm/ocaml/cic_unification/.depend
+++ b/helm/ocaml/cic_unification/.depend
@@ -4,9 +4,7 @@ cicMkImplicit.cmo: cicMkImplicit.cmi
 cicMkImplicit.cmx: cicMkImplicit.cmi 
 cicUnification.cmo: cicMetaSubst.cmi cicUnification.cmi 
 cicUnification.cmx: cicMetaSubst.cmx cicUnification.cmi 
-coercGraph.cmo: coercGraph.cmi 
-coercGraph.cmx: coercGraph.cmi 
-cicRefine.cmo: coercGraph.cmi cicUnification.cmi cicMkImplicit.cmi \
-    cicMetaSubst.cmi cicRefine.cmi 
-cicRefine.cmx: coercGraph.cmx cicUnification.cmx cicMkImplicit.cmx \
-    cicMetaSubst.cmx cicRefine.cmi 
+cicRefine.cmo: cicUnification.cmi cicMkImplicit.cmi cicMetaSubst.cmi \
+    cicRefine.cmi 
+cicRefine.cmx: cicUnification.cmx cicMkImplicit.cmx cicMetaSubst.cmx \
+    cicRefine.cmi 
diff --git a/helm/ocaml/cic_unification/Makefile b/helm/ocaml/cic_unification/Makefile
index 26e5d4ada..3db00fe5c 100644
--- a/helm/ocaml/cic_unification/Makefile
+++ b/helm/ocaml/cic_unification/Makefile
@@ -5,7 +5,6 @@ INTERFACE_FILES = \
 	cicMetaSubst.mli \
 	cicMkImplicit.mli \
 	cicUnification.mli \
-	coercGraph.mli \
 	cicRefine.mli
 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
 EXTRA_OBJECTS_TO_INSTALL =
diff --git a/helm/ocaml/library/.depend b/helm/ocaml/library/.depend
index 34914e505..1ad51256b 100644
--- a/helm/ocaml/library/.depend
+++ b/helm/ocaml/library/.depend
@@ -1,3 +1,4 @@
+coercGraph.cmi: coercDb.cmi 
 cicElim.cmo: cicElim.cmi 
 cicElim.cmx: cicElim.cmi 
 cicRecord.cmo: cicRecord.cmi 
@@ -6,6 +7,8 @@ libraryMisc.cmo: libraryMisc.cmi
 libraryMisc.cmx: libraryMisc.cmi 
 libraryDb.cmo: libraryDb.cmi 
 libraryDb.cmx: libraryDb.cmi 
+coercGraph.cmo: coercDb.cmi coercGraph.cmi 
+coercGraph.cmx: coercDb.cmx coercGraph.cmi 
 coercDb.cmo: coercDb.cmi 
 coercDb.cmx: coercDb.cmi 
 librarySync.cmo: libraryDb.cmi coercDb.cmi cicRecord.cmi cicElim.cmi \
diff --git a/helm/ocaml/library/Makefile b/helm/ocaml/library/Makefile
index d64c5020f..224a8d2dd 100644
--- a/helm/ocaml/library/Makefile
+++ b/helm/ocaml/library/Makefile
@@ -7,6 +7,7 @@ INTERFACE_FILES = \
 	libraryMisc.mli \
 	libraryDb.mli \
 	coercDb.mli \
+	coercGraph.mli \
 	librarySync.mli \
 	libraryClean.mli \
 	$(NULL)
diff --git a/helm/ocaml/cic_unification/coercGraph.ml b/helm/ocaml/library/coercGraph.ml
similarity index 100%
rename from helm/ocaml/cic_unification/coercGraph.ml
rename to helm/ocaml/library/coercGraph.ml
diff --git a/helm/ocaml/cic_unification/coercGraph.mli b/helm/ocaml/library/coercGraph.mli
similarity index 100%
rename from helm/ocaml/cic_unification/coercGraph.mli
rename to helm/ocaml/library/coercGraph.mli
-- 
2.39.2