src/Pure/Thy/file_format.scala

--- a/src/Pure/Thy/file_format.scala	Wed Nov 07 22:38:38 2018 +0100
+++ b/src/Pure/Thy/file_format.scala	Wed Nov 07 23:03:45 2018 +0100
@@ -51,7 +51,7 @@
   /* implicit theory context: name and content */
 
   def theory_suffix: String = ""
-  def theory_content(ext_name: String): String = ""
+  def theory_content(name: String): String = ""
 
   def make_theory_name(resources: Resources, name: Document.Node.Name): Option[Document.Node.Name] =
   {