src/Pure/Tools/rail.ML
changeset 61457 3e21699bb83b
parent 61456 b521b8b400f7
child 61462 e16649b70107
     1.1 --- a/src/Pure/Tools/rail.ML	Thu Oct 15 22:25:57 2015 +0200
     1.2 +++ b/src/Pure/Tools/rail.ML	Fri Oct 16 10:11:20 2015 +0200
     1.3 @@ -63,7 +63,7 @@
     1.4  fun reports_of_token (Token ((pos, _), (String, _))) = [(pos, Markup.inner_string)]
     1.5    | reports_of_token (Token ((pos, _), (Keyword, x))) =
     1.6        map (pair pos) (the_list (Symtab.lookup keywords x) @ Completion.suppress_abbrevs x)
     1.7 -  | reports_of_token (Token (_, (Antiq antiq, _))) = Antiquote.antiq_reports antiq
     1.8 +  | reports_of_token (Token (_, (Antiq antiq, _))) = Antiquote.antiq_reports [Antiquote.Antiq antiq]
     1.9    | reports_of_token _ = [];
    1.10  
    1.11