Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Syntax/printer.ML
changeset 15574 b1d1b5bfc464
parent 15570 8d8c70b41bab
child 15753 eb014dfc57ee 
--- a/src/Pure/Syntax/printer.ML	Fri Mar 04 11:44:26 2005 +0100
+++ b/src/Pure/Syntax/printer.ML	Fri Mar 04 15:07:34 2005 +0100
@@ -246,7 +246,7 @@
   let
     val fmts = List.mapPartial xprod_to_fmt xprods;
     val tab = get_tab prtabs mode;
-    val new_tab = Library.foldr Symtab.update_multi (rev fmts, tab);
+    val new_tab = foldr Symtab.update_multi tab (rev fmts);
   in overwrite (prtabs, (mode, new_tab)) end;
 
 fun merge_prtabs prtabs1 prtabs2 =
isabelle