src/Tools/case_product.ML

--- a/src/Tools/case_product.ML	Wed Dec 06 19:34:59 2017 +0100
+++ b/src/Tools/case_product.ML	Wed Dec 06 20:43:09 2017 +0100
@@ -108,7 +108,7 @@
 
 val _ =
   Theory.setup
-   (Attrib.setup @{binding case_product}
+   (Attrib.setup \<^binding>\<open>case_product\<close>
       let
         fun combine_list ctxt = fold (fn x => fn y => combine_annotated ctxt y x)
       in