changeset 69891 | def3ec9cdb7e |
parent 69344 | f87fdd8d2baf |
child 70586 | 57df8a85317a |
--- a/src/Pure/Syntax/lexicon.ML Sun Mar 10 15:31:24 2019 +0100 +++ b/src/Pure/Syntax/lexicon.ML Sun Mar 10 21:12:29 2019 +0100 @@ -301,7 +301,7 @@ val scan = Symbol_Pos.scan_cartouche err_prefix >> token Cartouche || - Comment.scan >> (fn (kind, ss) => token (Comment kind) ss) || + Comment.scan_inner >> (fn (kind, ss) => token (Comment kind) ss) || Scan.max token_leq scan_lit scan_val || scan_string >> token String || scan_str >> token Str ||