src/Tools/jEdit/src/jedit_thy_load.scala
changeset 46737 09ab89658a5d
parent 45007 cc86edb97c2c
child 48409 0d2114eb412a
     1.1 --- a/src/Tools/jEdit/src/jedit_thy_load.scala	Wed Feb 29 17:43:41 2012 +0100
     1.2 +++ b/src/Tools/jEdit/src/jedit_thy_load.scala	Wed Feb 29 23:09:06 2012 +0100
     1.3 @@ -52,7 +52,7 @@
     1.4      }
     1.5    }
     1.6  
     1.7 -  override def check_thy(name: Document.Node.Name): Thy_Header =
     1.8 +  override def read_header(name: Document.Node.Name): Thy_Header =
     1.9    {
    1.10      Swing_Thread.now {
    1.11        Isabelle.jedit_buffer(name.node) match {