From c491bb6d0cb8295af9e49cf2643ebc48de3629d8 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Wed, 26 Mar 2003 02:02:51 +0000
Subject: maj

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3789 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 .depend | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.depend b/.depend
index 3dd95f717b..8f941435f5 100644
--- a/.depend
+++ b/.depend
@@ -391,7 +391,7 @@ contrib/extraction/ocaml.cmi: library/libnames.cmi \
 contrib/extraction/scheme.cmi: contrib/extraction/miniml.cmi kernel/names.cmi \
     lib/pp.cmi 
 contrib/extraction/table.cmi: kernel/environ.cmi library/libnames.cmi \
-    contrib/extraction/miniml.cmi kernel/names.cmi 
+    contrib/extraction/miniml.cmi kernel/names.cmi kernel/term.cmi 
 contrib/funind/tacinvutils.cmi: interp/coqlib.cmi tactics/equality.cmi \
     pretyping/evd.cmi pretyping/inductiveops.cmi kernel/names.cmi lib/pp.cmi \
     parsing/printer.cmi proofs/proof_type.cmi pretyping/reductionops.cmi \
-- 
cgit v1.2.3