--- a/src/Pure/Syntax/simple_syntax.ML	Sun Dec 15 22:58:48 2024 +0100
+++ b/src/Pure/Syntax/simple_syntax.ML	Mon Dec 16 12:55:39 2024 +0100
@@ -22,7 +22,7 @@
 fun read scan s =
   (case
       Symbol_Pos.explode0 s |>
-      Lexicon.tokenize lexicon false |>
+      Lexicon.tokenize lexicon {raw = false} |>
       filter Lexicon.is_proper |>
       Scan.read Lexicon.stopper scan of
     SOME x => x