# HG changeset patch
# User wenzelm
# Date 1237221971 -3600
# Node ID 2ca69af4422ac25db13c26f7d99f2559879cbe51
# Parent  9f168bdc468a37a7ba3a2cf9ca9c49f57ea6e856
tuned signature;

diff -r 9f168bdc468a -r 2ca69af4422a src/Pure/Isar/attrib.ML
--- a/src/Pure/Isar/attrib.ML	Sun Mar 15 20:25:58 2009 +0100
+++ b/src/Pure/Isar/attrib.ML	Mon Mar 16 17:46:11 2009 +0100
@@ -26,7 +26,7 @@
   val add_attributes: (bstring * (src -> attribute) * string) list -> theory -> theory
   val syntax: attribute context_parser -> src -> attribute
   val setup: Binding.binding -> attribute context_parser -> string -> theory -> theory
-  val attribute_setup: string * Position.T -> string * Position.T -> string -> theory -> theory
+  val attribute_setup: bstring * Position.T -> string * Position.T -> string -> theory -> theory
   val no_args: attribute -> src -> attribute
   val add_del: attribute -> attribute -> attribute context_parser
   val add_del_args: attribute -> attribute -> src -> attribute