src/Pure/Thy/term_style.ML
changeset 23655 d2d1138e0ddc
parent 23577 c5b93c69afd3
child 24920 2a45e400fdad
--- a/src/Pure/Thy/term_style.ML	Sun Jul 08 19:51:55 2007 +0200
+++ b/src/Pure/Thy/term_style.ML	Sun Jul 08 19:51:58 2007 +0200
@@ -18,8 +18,8 @@
 
 (* style data *)
 
-fun err_dup_styles names =
-  error ("Duplicate declaration of antiquote style(s): " ^ commas_quote names);
+fun err_dup_style name =
+  error ("Duplicate declaration of antiquote style: " ^ quote name);
 
 structure StyleData = TheoryDataFun
 (
@@ -28,7 +28,7 @@
   val copy = I;
   val extend = I;
   fun merge _ tabs : T = Symtab.merge (eq_snd (op =)) tabs
-    handle Symtab.DUPS dups => err_dup_styles dups;
+    handle Symtab.DUP dup => err_dup_style dup;
 );
 
 fun print_styles thy =
@@ -44,7 +44,7 @@
 
 fun add_style name style thy =
   StyleData.map (Symtab.update_new (name, (style, stamp ()))) thy
-    handle Symtab.DUP _ => err_dup_styles [name];
+    handle Symtab.DUP _ => err_dup_style name;
 
 
 (* predefined styles *)