src/Pure/Isar/isar_syn.ML
changeset 26435 bdce320cd426
parent 26404 56fd70fb7571
child 26490 87d27e426f14
     1.1 --- a/src/Pure/Isar/isar_syn.ML	Thu Mar 27 15:32:12 2008 +0100
     1.2 +++ b/src/Pure/Isar/isar_syn.ML	Thu Mar 27 15:32:15 2008 +0100
     1.3 @@ -323,7 +323,7 @@
     1.4  
     1.5  val _ =
     1.6    OuterSyntax.command "setup" "apply ML theory setup" (K.tag_ml K.thy_decl)
     1.7 -    (Scan.option (P.position P.text) >> (Toplevel.theory o IsarCmd.generic_setup));
     1.8 +    (P.position P.text >> (Toplevel.theory o IsarCmd.generic_setup));
     1.9  
    1.10  val _ =
    1.11    OuterSyntax.command "method_setup" "define proof method in ML" (K.tag_ml K.thy_decl)