diff -r b41d8e290bf8 -r 6cd180204582 src/Pure/General/output.ML
--- 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 *)