src/Pure/Pure.thy
changeset 66251 cd935b7cb3fb
parent 66248 df85956228c2
child 66757 e32750d7acb4
     1.1 --- a/src/Pure/Pure.thy	Mon Jul 03 14:25:07 2017 +0200
     1.2 +++ b/src/Pure/Pure.thy	Sun Jul 02 20:13:38 2017 +0200
     1.3 @@ -1307,7 +1307,7 @@
     1.4  val _ =
     1.5    Outer_Syntax.command @{command_keyword code_datatype}
     1.6      "define set of code datatype constructors"
     1.7 -    (Scan.repeat1 Parse.term >> (Toplevel.theory o Code.add_datatype_cmd));
     1.8 +    (Scan.repeat1 Parse.term >> (Toplevel.theory o Code.declare_datatype_cmd));
     1.9  
    1.10  in end\<close>
    1.11