src/Pure/Isar/isar_syn.ML

--- a/src/Pure/Isar/isar_syn.ML	Thu Mar 27 15:32:12 2008 +0100
+++ b/src/Pure/Isar/isar_syn.ML	Thu Mar 27 15:32:15 2008 +0100
@@ -323,7 +323,7 @@
 
 val _ =
   OuterSyntax.command "setup" "apply ML theory setup" (K.tag_ml K.thy_decl)
-    (Scan.option (P.position P.text) >> (Toplevel.theory o IsarCmd.generic_setup));
+    (P.position P.text >> (Toplevel.theory o IsarCmd.generic_setup));
 
 val _ =
   OuterSyntax.command "method_setup" "define proof method in ML" (K.tag_ml K.thy_decl)