Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
adapted Consts.dest;
authorwenzelm
Mon, 06 Feb 2006 21:00:00 +0100
changeset 18960 9881ff995ff5
parent 18959 9bf24144404f
child 18961 9000bb9e6718
adapted Consts.dest;
src/Pure/Tools/codegen_package.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/codegen_package.ML	Mon Feb 06 20:59:59 2006 +0100
+++ b/src/Pure/Tools/codegen_package.ML	Mon Feb 06 21:00:00 2006 +0100
@@ -1069,7 +1069,7 @@
           |> fold (Symtab.fold (Symtab.remove (K true)) o get) (Theory.parents_of thy)
           |> Symtab.keys;
         val names = own_tables (#2 o #types o Type.rep_tsig o Sign.tsig_of)
-          @ own_tables (#2 o #declarations o Consts.dest o #consts o Sign.rep_sg);
+          @ own_tables (#2 o #constants o Consts.dest o #consts o Sign.rep_sg);
         fun diff names =
           fold (fn name =>
             if is_prefix (op =) (NameSpace.unpack thyname) (NameSpace.unpack name)
isabelle