src/Tools/jEdit/src/isabelle_options.scala

--- a/src/Tools/jEdit/src/isabelle_options.scala	Fri Mar 27 13:04:15 2020 +0100
+++ b/src/Tools/jEdit/src/isabelle_options.scala	Fri Mar 27 22:01:27 2020 +0100
@@ -39,7 +39,7 @@
 
 class Isabelle_Options1 extends Isabelle_Options("isabelle-general")
 {
-  val options = PIDE.options
+  val options: JEdit_Options = PIDE.options
 
   private val predefined =
     List(JEdit_Sessions.logic_selector(options, false),