src/Tools/case_product.ML
changeset 67149 e61557884799
parent 61853 fb7756087101
child 67522 9e712280cc37
     1.1 --- a/src/Tools/case_product.ML	Wed Dec 06 19:34:59 2017 +0100
     1.2 +++ b/src/Tools/case_product.ML	Wed Dec 06 20:43:09 2017 +0100
     1.3 @@ -108,7 +108,7 @@
     1.4  
     1.5  val _ =
     1.6    Theory.setup
     1.7 -   (Attrib.setup @{binding case_product}
     1.8 +   (Attrib.setup \<^binding>\<open>case_product\<close>
     1.9        let
    1.10          fun combine_list ctxt = fold (fn x => fn y => combine_annotated ctxt y x)
    1.11        in