--- a/src/Pure/General/output.ML Thu Sep 01 16:19:02 2005 +0200
+++ b/src/Pure/General/output.ML Thu Sep 01 18:48:50 2005 +0200
@@ -84,7 +84,7 @@
exception MISSING_DEFAULT_OUTPUT;
-fun lookup_mode name = Symtab.lookup (! modes, name);
+fun lookup_mode name = Symtab.curried_lookup (! modes) name;
fun get_mode () =
(case Library.get_first lookup_mode (! print_mode) of SOME p => p
@@ -141,7 +141,7 @@
fun add_mode name (f, g, h) =
(if is_none (lookup_mode name) then ()
else warning ("Redeclaration of symbol print mode: " ^ quote name);
- modes := Symtab.update ((name, {output_width = f, indent = g, raw = h}), ! modes));
+ modes := Symtab.curried_update (name, {output_width = f, indent = g, raw = h}) (! modes));
(* produce errors *)