# HG changeset patch
# User wenzelm
# Date 1634722468 -7200
# Node ID 59febd85a0f61d0b37fc3932453c4f459b0e9ac2
# Parent  b45b85a4145e8469a2ff68ca89e44314b2c7d252
tuned;

diff -r b45b85a4145e -r 59febd85a0f6 src/Pure/Thy/document_antiquotation.ML
--- a/src/Pure/Thy/document_antiquotation.ML	Wed Oct 20 11:25:32 2021 +0200
+++ b/src/Pure/Thy/document_antiquotation.ML	Wed Oct 20 11:34:28 2021 +0200
@@ -189,8 +189,7 @@
 in
 
 fun read_antiq ctxt ({range = (pos, _), body, ...}: Antiquote.antiq) =
-  let val keywords = Thy_Header.get_keywords' ctxt;
-  in Token.read_antiq keywords parse_antiq (body, pos) end;
+  Token.read_antiq (Thy_Header.get_keywords' ctxt) parse_antiq (body, pos);
 
 fun evaluate eval_text ctxt antiq =
   (case antiq of