diff options
| -rw-r--r-- | .depend | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -2961,15 +2961,15 @@ contrib/interface/vtp.cmx: contrib/interface/ascent.cmi \ contrib/interface/vtp.cmi contrib/interface/xlate.cmo: contrib/interface/ascent.cmi parsing/ast.cmi \ lib/bignat.cmi library/decl_kinds.cmo tactics/eauto.cmi \ - tactics/extraargs.cmi interp/genarg.cmi library/goptions.cmi \ - library/libnames.cmi toplevel/metasyntax.cmi kernel/names.cmi \ + parsing/extend.cmi tactics/extraargs.cmi interp/genarg.cmi \ + library/goptions.cmi library/libnames.cmi kernel/names.cmi \ lib/options.cmi parsing/ppconstr.cmi pretyping/rawterm.cmi \ proofs/tacexpr.cmo kernel/term.cmi interp/topconstr.cmi lib/util.cmi \ toplevel/vernacexpr.cmo contrib/interface/xlate.cmi contrib/interface/xlate.cmx: contrib/interface/ascent.cmi parsing/ast.cmx \ lib/bignat.cmx library/decl_kinds.cmx tactics/eauto.cmx \ - tactics/extraargs.cmx interp/genarg.cmx library/goptions.cmx \ - library/libnames.cmx toplevel/metasyntax.cmx kernel/names.cmx \ + parsing/extend.cmx tactics/extraargs.cmx interp/genarg.cmx \ + library/goptions.cmx library/libnames.cmx kernel/names.cmx \ lib/options.cmx parsing/ppconstr.cmx pretyping/rawterm.cmx \ proofs/tacexpr.cmx kernel/term.cmx interp/topconstr.cmx lib/util.cmx \ toplevel/vernacexpr.cmx contrib/interface/xlate.cmi |