| changeset 61471 | 9d4c08af61b8 |
| parent 61457 | 3e21699bb83b |
| child 61476 | 1884c40f1539 |
--- a/src/Pure/ML/ml_lex.ML Sun Oct 18 17:20:20 2015 +0200 +++ b/src/Pure/ML/ml_lex.ML Sun Oct 18 17:24:24 2015 +0200 @@ -293,6 +293,7 @@ val scan_sml = scan_ml >> Antiquote.Text; val scan_ml_antiq = + Antiquote.scan_control >> Antiquote.Control || Antiquote.scan_antiq >> Antiquote.Antiq || Symbol_Pos.scan_cartouche err_prefix >> (Antiquote.Text o token Cartouche) || scan_ml >> Antiquote.Text;