diff options
Diffstat (limited to '.depend')
| -rw-r--r-- | .depend | 18 |
1 files changed, 10 insertions, 8 deletions
@@ -1441,14 +1441,16 @@ pretyping/evarutil.cmx: lib/util.cmx kernel/univ.cmx pretyping/typing.cmx \ pretyping/pretype_errors.cmx lib/pp.cmx kernel/names.cmx \ library/nameops.cmx pretyping/evd.cmx kernel/environ.cmx \ pretyping/evarutil.cmi -pretyping/evd.cmo: lib/util.cmi pretyping/termops.cmi kernel/term.cmi \ - kernel/sign.cmi kernel/reduction.cmi lib/pp.cmi kernel/names.cmi \ - library/nameops.cmi kernel/mod_subst.cmi library/libnames.cmi \ - library/global.cmi kernel/environ.cmi pretyping/evd.cmi -pretyping/evd.cmx: lib/util.cmx pretyping/termops.cmx kernel/term.cmx \ - kernel/sign.cmx kernel/reduction.cmx lib/pp.cmx kernel/names.cmx \ - library/nameops.cmx kernel/mod_subst.cmx library/libnames.cmx \ - library/global.cmx kernel/environ.cmx pretyping/evd.cmi +pretyping/evd.cmo: lib/util.cmi kernel/univ.cmi pretyping/termops.cmi \ + kernel/term.cmi kernel/sign.cmi kernel/reduction.cmi lib/pp.cmi \ + kernel/names.cmi library/nameops.cmi kernel/mod_subst.cmi \ + library/libnames.cmi library/global.cmi kernel/environ.cmi \ + pretyping/evd.cmi +pretyping/evd.cmx: lib/util.cmx kernel/univ.cmx pretyping/termops.cmx \ + kernel/term.cmx kernel/sign.cmx kernel/reduction.cmx lib/pp.cmx \ + kernel/names.cmx library/nameops.cmx kernel/mod_subst.cmx \ + library/libnames.cmx library/global.cmx kernel/environ.cmx \ + pretyping/evd.cmi pretyping/indrec.cmo: lib/util.cmi kernel/typeops.cmi kernel/type_errors.cmi \ pretyping/termops.cmi kernel/term.cmi kernel/safe_typing.cmi \ pretyping/reductionops.cmi kernel/reduction.cmi lib/pp.cmi \ |