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.
Symtab.foldl;
authorwenzelm
Tue, 20 Oct 1998 16:20:19 +0200
changeset 5682 9125611c1645
parent 5681 464913c6086a
child 5683 e62518aacc5b
Symtab.foldl;
src/Pure/General/name_space.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/name_space.ML	Tue Oct 20 16:19:53 1998 +0200
+++ b/src/Pure/General/name_space.ML	Tue Oct 20 16:20:19 1998 +0200
@@ -82,7 +82,7 @@
   NameSpace (foldl add (tab, flat (map (fn name => map (rpair name) (accesses name)) names)));
 
 fun merge (NameSpace tab1, NameSpace tab2) =    (*2nd overrides 1st*)
-  NameSpace (foldl add (tab1, Symtab.dest tab2));
+  NameSpace (Symtab.foldl add (tab1, tab2));
 
 
 (* intern / extern names *)
isabelle