--- a/src/Pure/General/antiquote.ML Fri Feb 21 16:14:35 2014 +0100
+++ b/src/Pure/General/antiquote.ML Fri Feb 21 16:55:54 2014 +0100
@@ -32,7 +32,8 @@
(* reports *)
fun antiq_reports ((_, {start, stop, range = (pos, _)}): antiq) =
- [(start, Markup.antiquote), (stop, Markup.antiquote), (pos, Markup.antiquoted)];
+ [(start, Markup.antiquote), (stop, Markup.antiquote),
+ (pos, Markup.antiquoted), (pos, Markup.language_antiquotation)];
fun antiquote_reports text =
maps (fn Text x => text x | Antiq antiq => map (rpair "") (antiq_reports antiq));