diff options
| author | filliatr | 2003-07-24 01:02:53 +0000 |
|---|---|---|
| committer | filliatr | 2003-07-24 01:02:53 +0000 |
| commit | 59ba14578dd726afc8ae5ab4afa1972e2282e564 (patch) | |
| tree | b9e0ca6b438657006ecb6e4346de1a1360641e32 | |
| parent | 7c532ca7a768fdac825a19700e7cd4bf27c56972 (diff) | |
maj
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4244 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | .depend | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -2138,8 +2138,8 @@ toplevel/metasyntax.cmo: parsing/ast.cmi interp/constrextern.cmi \ parsing/esyntax.cmi pretyping/evd.cmi parsing/extend.cmi \ interp/genarg.cmi library/global.cmi parsing/lexer.cmi library/lib.cmi \ library/libnames.cmi library/libobject.cmi library/library.cmi \ - kernel/names.cmi lib/options.cmi parsing/pcoq.cmi lib/pp.cmi \ - interp/ppextend.cmi pretyping/rawterm.cmi library/summary.cmi \ + kernel/names.cmi library/nametab.cmi lib/options.cmi parsing/pcoq.cmi \ + lib/pp.cmi interp/ppextend.cmi pretyping/rawterm.cmi library/summary.cmi \ interp/symbols.cmi interp/syntax_def.cmi parsing/termast.cmi \ interp/topconstr.cmi lib/util.cmi toplevel/vernacexpr.cmo \ toplevel/metasyntax.cmi @@ -2148,8 +2148,8 @@ toplevel/metasyntax.cmx: parsing/ast.cmx interp/constrextern.cmx \ parsing/esyntax.cmx pretyping/evd.cmx parsing/extend.cmx \ interp/genarg.cmx library/global.cmx parsing/lexer.cmx library/lib.cmx \ library/libnames.cmx library/libobject.cmx library/library.cmx \ - kernel/names.cmx lib/options.cmx parsing/pcoq.cmx lib/pp.cmx \ - interp/ppextend.cmx pretyping/rawterm.cmx library/summary.cmx \ + kernel/names.cmx library/nametab.cmx lib/options.cmx parsing/pcoq.cmx \ + lib/pp.cmx interp/ppextend.cmx pretyping/rawterm.cmx library/summary.cmx \ interp/symbols.cmx interp/syntax_def.cmx parsing/termast.cmx \ interp/topconstr.cmx lib/util.cmx toplevel/vernacexpr.cmx \ toplevel/metasyntax.cmi |