From a88f5254ec70942840a86e6d39aff832cf125790 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Sun, 17 Oct 2004 23:02:47 +0000
Subject: maj

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6229 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 .depend     | 6 ++++--
 make.result | 2 +-
 2 files changed, 5 insertions(+), 3 deletions(-)

diff --git a/.depend b/.depend
index a35a9fe87f..a1a4e7f2b8 100644
--- a/.depend
+++ b/.depend
@@ -1459,14 +1459,16 @@ pretyping/tacred.cmo: pretyping/cbv.cmi kernel/closure.cmi \
     library/libnames.cmi library/nameops.cmi kernel/names.cmi \
     library/nametab.cmi lib/pp.cmi pretyping/rawterm.cmi \
     pretyping/reductionops.cmi pretyping/retyping.cmi library/summary.cmi \
-    kernel/term.cmi pretyping/termops.cmi lib/util.cmi pretyping/tacred.cmi 
+    kernel/term.cmi pretyping/termops.cmi pretyping/typing.cmi lib/util.cmi \
+    pretyping/tacred.cmi 
 pretyping/tacred.cmx: pretyping/cbv.cmx kernel/closure.cmx \
     kernel/conv_oracle.cmx kernel/declarations.cmx kernel/environ.cmx \
     pretyping/evd.cmx library/global.cmx kernel/inductive.cmx \
     library/libnames.cmx library/nameops.cmx kernel/names.cmx \
     library/nametab.cmx lib/pp.cmx pretyping/rawterm.cmx \
     pretyping/reductionops.cmx pretyping/retyping.cmx library/summary.cmx \
-    kernel/term.cmx pretyping/termops.cmx lib/util.cmx pretyping/tacred.cmi 
+    kernel/term.cmx pretyping/termops.cmx pretyping/typing.cmx lib/util.cmx \
+    pretyping/tacred.cmi 
 pretyping/termops.cmo: kernel/environ.cmi library/global.cmi library/lib.cmi \
     library/libnames.cmi library/nameops.cmi kernel/names.cmi \
     library/nametab.cmi lib/pp.cmi kernel/sign.cmi kernel/term.cmi \
diff --git a/make.result b/make.result
index d24e9ff349..833114304d 100644
--- a/make.result
+++ b/make.result
@@ -1 +1 @@
-Sat 16/10/2004 01:00: Success
+Mon 18/10/2004 01:00: Failure
-- 
cgit v1.2.3