tuned;

--- a/src/Pure/Isar/parse.ML	Sun May 01 17:55:29 2011 +0200
+++ b/src/Pure/Isar/parse.ML	Sun May 01 18:05:09 2011 +0200
@@ -114,7 +114,7 @@
 
 fun fail_with s = Scan.fail_with
   (fn [] => s ^ " expected (past end-of-file!)"
-    | (tok :: _) =>
+    | tok :: _ =>
         (case Token.text_of tok of
           (txt, "") =>
             s ^ " expected,\nbut " ^ txt ^ Token.pos_of tok ^ " was found"