diff options
| -rw-r--r-- | .depend | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -88,7 +88,7 @@ library/global.cmi: kernel/declarations.cmi kernel/entries.cmi \ library/goptions.cmi: library/libnames.cmi kernel/names.cmi \ library/nametab.cmi lib/pp.cmi kernel/term.cmi lib/util.cmi library/impargs.cmi: kernel/environ.cmi library/libnames.cmi kernel/names.cmi \ - library/nametab.cmi kernel/term.cmi + library/nametab.cmi kernel/term.cmi interp/topconstr.cmi library/lib.cmi: library/libnames.cmi library/libobject.cmi kernel/names.cmi \ library/summary.cmi lib/util.cmi library/libnames.cmi: kernel/names.cmi lib/pp.cmi lib/predicate.cmi \ @@ -854,12 +854,14 @@ library/impargs.cmo: kernel/declarations.cmi kernel/environ.cmi \ library/global.cmi kernel/inductive.cmi library/lib.cmi \ library/libnames.cmi library/libobject.cmi kernel/names.cmi \ library/nametab.cmi lib/options.cmi lib/pp.cmi kernel/reduction.cmi \ - library/summary.cmi kernel/term.cmi lib/util.cmi library/impargs.cmi + library/summary.cmi kernel/term.cmi pretyping/termops.cmi \ + interp/topconstr.cmi lib/util.cmi library/impargs.cmi library/impargs.cmx: kernel/declarations.cmx kernel/environ.cmx \ library/global.cmx kernel/inductive.cmx library/lib.cmx \ library/libnames.cmx library/libobject.cmx kernel/names.cmx \ library/nametab.cmx lib/options.cmx lib/pp.cmx kernel/reduction.cmx \ - library/summary.cmx kernel/term.cmx lib/util.cmx library/impargs.cmi + library/summary.cmx kernel/term.cmx pretyping/termops.cmx \ + interp/topconstr.cmx lib/util.cmx library/impargs.cmi library/lib.cmo: library/libnames.cmi library/libobject.cmi \ library/nameops.cmi kernel/names.cmi library/nametab.cmi lib/pp.cmi \ library/summary.cmi lib/util.cmi library/lib.cmi |