src/Pure/Isar/code.ML

--- a/src/Pure/Isar/code.ML	Tue Mar 18 13:36:28 2014 +0100
+++ b/src/Pure/Isar/code.ML	Tue Mar 18 15:29:58 2014 +0100
@@ -1285,7 +1285,7 @@
       || Scan.succeed (mk_attribute add_eqn_maybe_abs);
   in
     Datatype_Interpretation.init
-    #> Attrib.setup (Binding.name "code") (Scan.lift code_attribute_parser)
+    #> Attrib.setup @{binding code} (Scan.lift code_attribute_parser)
         "declare theorems for code generation"
   end);