From 77eb1f985db4fdad114d02d05496a3a29792159f Mon Sep 17 00:00:00 2001 From: filliatr Date: Tue, 11 Nov 2003 00:02:42 +0000 Subject: maj git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4855 85f007b7-540e-0410-9357-904b9bb8a0f7 --- .depend | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/.depend b/.depend index e0fa629c79..f3cf8d9e49 100644 --- a/.depend +++ b/.depend @@ -2589,17 +2589,19 @@ contrib/extraction/common.cmo: kernel/declarations.cmi \ contrib/extraction/haskell.cmi library/libnames.cmi \ contrib/extraction/miniml.cmi kernel/modops.cmi \ contrib/extraction/modutil.cmi library/nameops.cmi kernel/names.cmi \ - contrib/extraction/ocaml.cmi lib/pp.cmi lib/pp_control.cmi \ - contrib/extraction/scheme.cmi contrib/extraction/table.cmi \ - kernel/term.cmi lib/util.cmi contrib/extraction/common.cmi + contrib/extraction/ocaml.cmi lib/options.cmi lib/pp.cmi \ + lib/pp_control.cmi contrib/extraction/scheme.cmi \ + contrib/extraction/table.cmi kernel/term.cmi lib/util.cmi \ + contrib/extraction/common.cmi contrib/extraction/common.cmx: kernel/declarations.cmx \ contrib/extraction/extraction.cmx library/global.cmx lib/gset.cmx \ contrib/extraction/haskell.cmx library/libnames.cmx \ contrib/extraction/miniml.cmi kernel/modops.cmx \ contrib/extraction/modutil.cmx library/nameops.cmx kernel/names.cmx \ - contrib/extraction/ocaml.cmx lib/pp.cmx lib/pp_control.cmx \ - contrib/extraction/scheme.cmx contrib/extraction/table.cmx \ - kernel/term.cmx lib/util.cmx contrib/extraction/common.cmi + contrib/extraction/ocaml.cmx lib/options.cmx lib/pp.cmx \ + lib/pp_control.cmx contrib/extraction/scheme.cmx \ + contrib/extraction/table.cmx kernel/term.cmx lib/util.cmx \ + contrib/extraction/common.cmi contrib/extraction/extract_env.cmo: contrib/extraction/common.cmi \ kernel/declarations.cmi contrib/extraction/extraction.cmi \ library/global.cmi library/lib.cmi library/libnames.cmi \ -- cgit v1.2.3