src/Tools/jEdit/src/isabelle_logic.scala
changeset 57912 dd9550f84106
parent 57612 990ffb84489b
child 60992 89effcb342df
     1.1 --- a/src/Tools/jEdit/src/isabelle_logic.scala	Tue Aug 12 15:31:24 2014 +0200
     1.2 +++ b/src/Tools/jEdit/src/isabelle_logic.scala	Tue Aug 12 15:46:20 2014 +0200
     1.3 @@ -24,7 +24,7 @@
     1.4  
     1.5    private class Logic_Entry(val name: String, val description: String)
     1.6    {
     1.7 -    override def toString = description
     1.8 +    override def toString: String = description
     1.9    }
    1.10  
    1.11    def logic_selector(autosave: Boolean): Option_Component =