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.
tuned;
authorwenzelm
Sat, 08 Apr 2006 22:51:22 +0200
changeset 19367 6af9ee48b563
parent 19366 a2040baa9444
child 19368 27cf4802aa18
tuned;
src/Pure/General/name_space.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/name_space.ML	Sat Apr 08 22:51:20 2006 +0200
+++ b/src/Pure/General/name_space.ML	Sat Apr 08 22:51:22 2006 +0200
@@ -275,7 +275,7 @@
   in (fold (declare naming o #1) entries space, Symtab.extend (tab, entries)) end;
 
 fun merge_tables eq ((space1, tab1), (space2, tab2)) =
-  (merge (space1, space2), (Symtab.merge eq (tab1, tab2)));
+  (merge (space1, space2), Symtab.merge eq (tab1, tab2));
 
 fun ext_table (space, tab) =
   Symtab.fold (fn (name, x) => cons ((name, extern space name), x)) tab []
isabelle