unused;

--- a/src/Pure/ML/ml_antiquotations.ML	Mon Sep 25 16:17:43 2023 +0200
+++ b/src/Pure/ML/ml_antiquotations.ML	Mon Sep 25 16:55:11 2023 +0200
@@ -344,8 +344,6 @@
 
 local
 
-val tokenize = ML_Lex.tokenize_no_range;
-val tokenize_range = ML_Lex.tokenize_range o Input.range_of;
 val tokenize_text = map Antiquote.Text o ML_Lex.tokenize_no_range;
 
 val bg_expr = tokenize_text "(fn () =>";