src/Tools/jEdit/src/jedit_thy_load.scala
changeset 48870 4accee106f0f
parent 48422 9613780a805b
child 48882 61dc7d5d150a
     1.1 --- a/src/Tools/jEdit/src/jedit_thy_load.scala	Tue Aug 21 11:00:54 2012 +0200
     1.2 +++ b/src/Tools/jEdit/src/jedit_thy_load.scala	Tue Aug 21 12:15:25 2012 +0200
     1.3 @@ -17,7 +17,8 @@
     1.4  import org.gjt.sp.jedit.View
     1.5  
     1.6  
     1.7 -class JEdit_Thy_Load extends Thy_Load()
     1.8 +class JEdit_Thy_Load(loaded_theories: Set[String] = Set.empty, base_syntax: Outer_Syntax)
     1.9 +  extends Thy_Load(loaded_theories, base_syntax)
    1.10  {
    1.11    override def append(dir: String, source_path: Path): String =
    1.12    {