From 35d65aeb0c449a4fc0fcfd9bec162649596b09b0 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 10 Jan 2003 02:02:23 +0000
Subject: maj

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3495 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 .depend | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/.depend b/.depend
index ebc5a4b204..a7a484df04 100644
--- a/.depend
+++ b/.depend
@@ -694,14 +694,16 @@ library/declare.cmx: library/decl_kinds.cmx kernel/declarations.cmx \
     lib/util.cmx library/declare.cmi 
 library/declaremods.cmo: kernel/declarations.cmi kernel/entries.cmi \
     kernel/environ.cmi library/global.cmi library/lib.cmi \
-    library/libnames.cmi library/libobject.cmi kernel/modops.cmi \
-    kernel/names.cmi library/nametab.cmi lib/pp.cmi library/summary.cmi \
-    lib/util.cmi library/declaremods.cmi 
+    library/libnames.cmi library/libobject.cmi kernel/mod_typing.cmi \
+    kernel/modops.cmi kernel/names.cmi library/nametab.cmi lib/pp.cmi \
+    kernel/subtyping.cmi library/summary.cmi lib/util.cmi \
+    library/declaremods.cmi 
 library/declaremods.cmx: kernel/declarations.cmx kernel/entries.cmx \
     kernel/environ.cmx library/global.cmx library/lib.cmx \
-    library/libnames.cmx library/libobject.cmx kernel/modops.cmx \
-    kernel/names.cmx library/nametab.cmx lib/pp.cmx library/summary.cmx \
-    lib/util.cmx library/declaremods.cmi 
+    library/libnames.cmx library/libobject.cmx kernel/mod_typing.cmx \
+    kernel/modops.cmx kernel/names.cmx library/nametab.cmx lib/pp.cmx \
+    kernel/subtyping.cmx library/summary.cmx lib/util.cmx \
+    library/declaremods.cmi 
 library/dischargedhypsmap.cmo: kernel/declarations.cmi kernel/environ.cmi \
     kernel/inductive.cmi library/lib.cmi library/libnames.cmi \
     library/libobject.cmi kernel/names.cmi library/nametab.cmi \
-- 
cgit v1.2.3