# HG changeset patch
# User wenzelm
# Date 1516875631 -3600
# Node ID 7bb0690734142e1eccd9f18aa2abd1c3eb1fd220
# Parent  1be337a7584fd204fd3c528d965020d0513e6d04
tuned message;

diff -r 1be337a7584f -r 7bb069073414 src/Pure/Isar/token.ML
--- 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 *)