diff options
Diffstat (limited to '.depend')
| -rw-r--r-- | .depend | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -305,6 +305,8 @@ library/declare.cmx: kernel/constant.cmx kernel/environ.cmx kernel/evd.cmx \ library/libobject.cmx kernel/names.cmx library/nametab.cmx \ kernel/reduction.cmx kernel/sign.cmx library/summary.cmx kernel/term.cmx \ kernel/univ.cmx lib/util.cmx library/declare.cmi +library/discharge.cmo: library/declare.cmi library/discharge.cmi +library/discharge.cmx: library/declare.cmx library/discharge.cmi library/global.cmo: kernel/environ.cmi kernel/generic.cmi \ kernel/inductive.cmi kernel/instantiate.cmi kernel/safe_typing.cmi \ kernel/sign.cmi library/summary.cmi kernel/term.cmi lib/util.cmi \ |