Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/parse.ML
changeset 42519 8ac7e96f913b
parent 42326 e2d22eb4aeb9
child 42657 6b404fe40877 
--- 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"
isabelle