From fc0e1f7d11be5135fe159c105590eb9be5322856 Mon Sep 17 00:00:00 2001 From: filliatr Date: Thu, 1 Apr 2004 23:02:26 +0000 Subject: maj git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5631 85f007b7-540e-0410-9357-904b9bb8a0f7 --- .depend | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/.depend b/.depend index d9197b8f23..b49f64e488 100644 --- a/.depend +++ b/.depend @@ -3160,9 +3160,9 @@ contrib/xml/cic2acic.cmo: contrib/xml/acic.cmo kernel/conv_oracle.cmi \ library/lib.cmi library/libnames.cmi library/library.cmi \ library/nameops.cmi kernel/names.cmi library/nametab.cmi lib/pp.cmi \ parsing/printer.cmi pretyping/rawterm.cmi pretyping/reductionops.cmi \ - pretyping/retyping.cmi lib/system.cmi pretyping/tacred.cmi \ - kernel/term.cmi pretyping/termops.cmi kernel/univ.cmi \ - contrib/xml/unshare.cmi lib/util.cmi + pretyping/retyping.cmi pretyping/tacred.cmi kernel/term.cmi \ + pretyping/termops.cmi kernel/univ.cmi contrib/xml/unshare.cmi \ + lib/util.cmi contrib/xml/cic2acic.cmx: contrib/xml/acic.cmx kernel/conv_oracle.cmx \ kernel/declarations.cmx library/declare.cmx library/dischargedhypsmap.cmx \ contrib/xml/doubleTypeInference.cmx kernel/environ.cmx \ @@ -3171,9 +3171,9 @@ contrib/xml/cic2acic.cmx: contrib/xml/acic.cmx kernel/conv_oracle.cmx \ library/lib.cmx library/libnames.cmx library/library.cmx \ library/nameops.cmx kernel/names.cmx library/nametab.cmx lib/pp.cmx \ parsing/printer.cmx pretyping/rawterm.cmx pretyping/reductionops.cmx \ - pretyping/retyping.cmx lib/system.cmx pretyping/tacred.cmx \ - kernel/term.cmx pretyping/termops.cmx kernel/univ.cmx \ - contrib/xml/unshare.cmx lib/util.cmx + pretyping/retyping.cmx pretyping/tacred.cmx kernel/term.cmx \ + pretyping/termops.cmx kernel/univ.cmx contrib/xml/unshare.cmx \ + lib/util.cmx contrib/xml/doubleTypeInference.cmo: contrib/xml/acic.cmo kernel/environ.cmi \ pretyping/evarutil.cmi pretyping/evd.cmi kernel/inductive.cmi \ pretyping/instantiate.cmi lib/pp.cmi parsing/printer.cmi \ -- cgit v1.2.3