--- a/src/Pure/ML/ml_lex.ML Sun Mar 10 15:31:24 2019 +0100
+++ b/src/Pure/ML/ml_lex.ML Sun Mar 10 21:12:29 2019 +0100
@@ -312,7 +312,7 @@
val scan_sml_antiq = scan_sml >> Antiquote.Text;
val scan_ml_antiq =
- Comment.scan >> (fn (kind, ss) => Antiquote.Text (token (Comment (SOME kind)) ss)) ||
+ Comment.scan_inner >> (fn (kind, ss) => Antiquote.Text (token (Comment (SOME kind)) ss)) ||
Antiquote.scan_control >> Antiquote.Control ||
Antiquote.scan_antiq >> Antiquote.Antiq ||
scan_rat_antiq >> Antiquote.Antiq ||