src/Pure/Thy/file_format.scala

 
 
   /* 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] =
   {
     for {
       (_, ext_name) <- Thy_Header.split_file_name(name.node)