maj

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4466 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 5 insertions, 3 deletions

diff --git a/.depend b/.depend
index ff4968e4ca..f193144588 100644
--- a/.depend
+++ b/.depend
@@ -88,7 +88,7 @@ library/global.cmi: kernel/declarations.cmi kernel/entries.cmi \
 library/goptions.cmi: library/libnames.cmi kernel/names.cmi \
     library/nametab.cmi lib/pp.cmi kernel/term.cmi lib/util.cmi 
 library/impargs.cmi: kernel/environ.cmi library/libnames.cmi kernel/names.cmi \
-    library/nametab.cmi kernel/term.cmi 
+    library/nametab.cmi kernel/term.cmi interp/topconstr.cmi 
 library/lib.cmi: library/libnames.cmi library/libobject.cmi kernel/names.cmi \
     library/summary.cmi lib/util.cmi 
 library/libnames.cmi: kernel/names.cmi lib/pp.cmi lib/predicate.cmi \
@@ -854,12 +854,14 @@ library/impargs.cmo: kernel/declarations.cmi kernel/environ.cmi \
     library/global.cmi kernel/inductive.cmi library/lib.cmi \
     library/libnames.cmi library/libobject.cmi kernel/names.cmi \
     library/nametab.cmi lib/options.cmi lib/pp.cmi kernel/reduction.cmi \
-    library/summary.cmi kernel/term.cmi lib/util.cmi library/impargs.cmi 
+    library/summary.cmi kernel/term.cmi pretyping/termops.cmi \
+    interp/topconstr.cmi lib/util.cmi library/impargs.cmi 
 library/impargs.cmx: kernel/declarations.cmx kernel/environ.cmx \
     library/global.cmx kernel/inductive.cmx library/lib.cmx \
     library/libnames.cmx library/libobject.cmx kernel/names.cmx \
     library/nametab.cmx lib/options.cmx lib/pp.cmx kernel/reduction.cmx \
-    library/summary.cmx kernel/term.cmx lib/util.cmx library/impargs.cmi 
+    library/summary.cmx kernel/term.cmx pretyping/termops.cmx \
+    interp/topconstr.cmx lib/util.cmx library/impargs.cmi 
 library/lib.cmo: library/libnames.cmi library/libobject.cmi \
     library/nameops.cmi kernel/names.cmi library/nametab.cmi lib/pp.cmi \
     library/summary.cmi lib/util.cmi library/lib.cmi