From 3c3e05ac0660c9de2024425e72e83b9a4f11a3de Mon Sep 17 00:00:00 2001
From: filliatr
Date: Tue, 27 Nov 2001 10:36:00 +0000
Subject: mise a jour

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

diff --git a/.depend b/.depend
index ffc16c0564..3f6a7b46b2 100644
--- a/.depend
+++ b/.depend
@@ -10,7 +10,7 @@ kernel/esubst.cmi: lib/util.cmi
 kernel/indtypes.cmi: kernel/declarations.cmi kernel/environ.cmi \
     kernel/names.cmi kernel/term.cmi kernel/typeops.cmi kernel/univ.cmi 
 kernel/inductive.cmi: kernel/declarations.cmi kernel/environ.cmi \
-    kernel/names.cmi kernel/term.cmi kernel/univ.cmi 
+    kernel/names.cmi kernel/term.cmi kernel/type_errors.cmi kernel/univ.cmi 
 kernel/names.cmi: lib/pp.cmi lib/predicate.cmi 
 kernel/reduction.cmi: kernel/environ.cmi kernel/sign.cmi kernel/term.cmi \
     kernel/univ.cmi 
@@ -1483,18 +1483,18 @@ toplevel/protectedtoplevel.cmx: toplevel/errors.cmx \
 toplevel/record.cmo: parsing/ast.cmi parsing/astterm.cmi toplevel/class.cmi \
     toplevel/command.cmi parsing/coqast.cmi kernel/declarations.cmi \
     library/declare.cmi kernel/environ.cmi pretyping/evd.cmi \
-    library/global.cmi toplevel/himsg.cmi kernel/indtypes.cmi \
-    kernel/inductive.cmi pretyping/inductiveops.cmi kernel/names.cmi \
-    library/nametab.cmi lib/pp.cmi pretyping/recordops.cmi \
+    library/global.cmi kernel/indtypes.cmi kernel/inductive.cmi \
+    pretyping/inductiveops.cmi kernel/names.cmi library/nametab.cmi \
+    lib/options.cmi lib/pp.cmi parsing/printer.cmi pretyping/recordops.cmi \
     kernel/safe_typing.cmi kernel/term.cmi pretyping/termops.cmi \
     kernel/type_errors.cmi kernel/typeops.cmi lib/util.cmi \
     toplevel/record.cmi 
 toplevel/record.cmx: parsing/ast.cmx parsing/astterm.cmx toplevel/class.cmx \
     toplevel/command.cmx parsing/coqast.cmx kernel/declarations.cmx \
     library/declare.cmx kernel/environ.cmx pretyping/evd.cmx \
-    library/global.cmx toplevel/himsg.cmx kernel/indtypes.cmx \
-    kernel/inductive.cmx pretyping/inductiveops.cmx kernel/names.cmx \
-    library/nametab.cmx lib/pp.cmx pretyping/recordops.cmx \
+    library/global.cmx kernel/indtypes.cmx kernel/inductive.cmx \
+    pretyping/inductiveops.cmx kernel/names.cmx library/nametab.cmx \
+    lib/options.cmx lib/pp.cmx parsing/printer.cmx pretyping/recordops.cmx \
     kernel/safe_typing.cmx kernel/term.cmx pretyping/termops.cmx \
     kernel/type_errors.cmx kernel/typeops.cmx lib/util.cmx \
     toplevel/record.cmi 
-- 
cgit v1.2.3