src/Pure/ML/ml_antiquotation.ML

--- a/src/Pure/ML/ml_antiquotation.ML	Sat Sep 11 13:04:32 2021 +0200
+++ b/src/Pure/ML/ml_antiquotation.ML	Sat Sep 11 21:16:23 2021 +0200
@@ -72,7 +72,7 @@
     (fn _ => fn src => fn ctxt =>
       let
         val (s, _) = Token.syntax (Scan.lift Args.embedded_input) src ctxt;
-        val tokenize = ML_Lex.tokenize_range Position.no_range;
+        val tokenize = ML_Lex.tokenize_no_range;
         val tokenize_range = ML_Lex.tokenize_range (Input.range_of s);
 
         val (decl, ctxt') = ML_Context.expand_antiquotes (ML_Lex.read_source s) ctxt;