Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned message;
authorwenzelm
Thu, 25 Jan 2018 11:20:31 +0100
changeset 67503 7bb069073414
parent 67502 1be337a7584f
child 67504 310114bec0d7
tuned message;
src/Pure/Isar/token.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/token.ML	Wed Jan 24 20:47:36 2018 +0100
+++ b/src/Pure/Isar/token.ML	Thu Jan 25 11:20:31 2018 +0100
@@ -719,9 +719,7 @@
 fun read_antiq keywords scan (syms, pos) =
   (case read_body keywords scan syms of
     [x] => x
-  | _ =>
-      error ("Malformed antiquotation" ^ Position.here pos ^ ":\n" ^
-        "@{" ^ Symbol_Pos.content syms ^ "}"));
+  | _ => error ("Malformed antiquotation" ^ Position.here pos));
 
 
 (* wrapped syntax *)
isabelle