--- a/src/Pure/Thy/document_output.ML Mon Dec 06 15:10:15 2021 +0100
+++ b/src/Pure/Thy/document_output.ML Mon Dec 06 15:34:54 2021 +0100
@@ -172,7 +172,6 @@
else output false "" ""
| Token.String => output false "{\\isachardoublequoteopen}" "{\\isachardoublequoteclose}"
| Token.Alt_String => output false "{\\isacharbackquoteopen}" "{\\isacharbackquoteclose}"
- | Token.Verbatim => output true "{\\isacharverbatimopen}" "{\\isacharverbatimclose}"
| Token.Cartouche => output false "{\\isacartoucheopen}" "{\\isacartoucheclose}"
| Token.Control control => output_body ctxt false "" "" (Antiquote.control_symbols control)
| _ => output false "" "")