src/Pure/Thy/latex.scala

--- a/src/Pure/Thy/latex.scala	Fri Aug 12 15:57:22 2022 +0200
+++ b/src/Pure/Thy/latex.scala	Fri Aug 12 16:01:52 2022 +0200
@@ -133,7 +133,7 @@
       val tags =
         (for ((name, op) <- map.iterator)
           yield "\\isa" + op + "tag{" + name + "}").toList
-      File.Content(path, comment + """
+      File.content(path, comment + """
 
 \newcommand{\isakeeptag}[1]%
 {\includecomment{isadelim#1}\includecomment{isatag#1}\csarg\def{isafold#1}{}}