maj

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

1 files changed, 17 insertions, 16 deletions

diff --git a/.depend b/.depend
index 307f019455..c205914c3b 100644
--- a/.depend
+++ b/.depend
@@ -352,9 +352,10 @@ contrib/extraction/extraction.cmi: kernel/environ.cmi library/libnames.cmi \
 contrib/extraction/haskell.cmi: contrib/extraction/miniml.cmi \
     kernel/names.cmi library/nametab.cmi lib/pp.cmi 
 contrib/extraction/miniml.cmi: library/libnames.cmi kernel/names.cmi \
-    lib/pp.cmi kernel/term.cmi 
+    lib/pp.cmi kernel/term.cmi lib/util.cmi 
 contrib/extraction/mlutil.cmi: library/libnames.cmi \
-    contrib/extraction/miniml.cmi kernel/names.cmi kernel/term.cmi 
+    contrib/extraction/miniml.cmi kernel/names.cmi kernel/term.cmi \
+    lib/util.cmi 
 contrib/extraction/ocaml.cmi: contrib/extraction/miniml.cmi kernel/names.cmi \
     library/nametab.cmi lib/pp.cmi contrib/extraction/table.cmi \
     kernel/term.cmi 
@@ -2253,22 +2254,22 @@ contrib/extraction/extract_env.cmx: contrib/extraction/common.cmx \
     contrib/extraction/extract_env.cmi 
 contrib/extraction/extraction.cmo: kernel/closure.cmi kernel/declarations.cmi \
     kernel/environ.cmi pretyping/evd.cmi library/global.cmi lib/gmap.cmi \
-    kernel/inductive.cmi pretyping/inductiveops.cmi pretyping/instantiate.cmi \
-    library/libnames.cmi contrib/extraction/miniml.cmi \
-    contrib/extraction/mlutil.cmi library/nameops.cmi kernel/names.cmi \
-    library/nametab.cmi lib/options.cmi lib/pp.cmi pretyping/reductionops.cmi \
-    pretyping/retyping.cmi library/summary.cmi contrib/extraction/table.cmi \
-    kernel/term.cmi pretyping/termops.cmi lib/util.cmi \
-    contrib/extraction/extraction.cmi 
+    lib/gset.cmi kernel/inductive.cmi pretyping/inductiveops.cmi \
+    pretyping/instantiate.cmi library/libnames.cmi \
+    contrib/extraction/miniml.cmi contrib/extraction/mlutil.cmi \
+    library/nameops.cmi kernel/names.cmi library/nametab.cmi lib/options.cmi \
+    lib/pp.cmi pretyping/reductionops.cmi pretyping/retyping.cmi \
+    library/summary.cmi contrib/extraction/table.cmi kernel/term.cmi \
+    pretyping/termops.cmi lib/util.cmi contrib/extraction/extraction.cmi 
 contrib/extraction/extraction.cmx: kernel/closure.cmx kernel/declarations.cmx \
     kernel/environ.cmx pretyping/evd.cmx library/global.cmx lib/gmap.cmx \
-    kernel/inductive.cmx pretyping/inductiveops.cmx pretyping/instantiate.cmx \
-    library/libnames.cmx contrib/extraction/miniml.cmi \
-    contrib/extraction/mlutil.cmx library/nameops.cmx kernel/names.cmx \
-    library/nametab.cmx lib/options.cmx lib/pp.cmx pretyping/reductionops.cmx \
-    pretyping/retyping.cmx library/summary.cmx contrib/extraction/table.cmx \
-    kernel/term.cmx pretyping/termops.cmx lib/util.cmx \
-    contrib/extraction/extraction.cmi 
+    lib/gset.cmx kernel/inductive.cmx pretyping/inductiveops.cmx \
+    pretyping/instantiate.cmx library/libnames.cmx \
+    contrib/extraction/miniml.cmi contrib/extraction/mlutil.cmx \
+    library/nameops.cmx kernel/names.cmx library/nametab.cmx lib/options.cmx \
+    lib/pp.cmx pretyping/reductionops.cmx pretyping/retyping.cmx \
+    library/summary.cmx contrib/extraction/table.cmx kernel/term.cmx \
+    pretyping/termops.cmx lib/util.cmx contrib/extraction/extraction.cmi 
 contrib/extraction/g_extraction.cmo: toplevel/cerrors.cmi \
     parsing/egrammar.cmi parsing/extend.cmi \
     contrib/extraction/extract_env.cmi parsing/genarg.cmi parsing/pcoq.cmi \