src/Pure/PIDE/resources.scala
changeset 64718 3197b68f4314
parent 64673 b5965890e54d
child 64759 100941134718
     1.1 --- a/src/Pure/PIDE/resources.scala	Sat Dec 31 11:39:57 2016 +0100
     1.2 +++ b/src/Pure/PIDE/resources.scala	Sat Dec 31 11:43:06 2016 +0100
     1.3 @@ -23,7 +23,8 @@
     1.4  class Resources(
     1.5    val loaded_theories: Set[String],
     1.6    val known_theories: Map[String, Document.Node.Name],
     1.7 -  val base_syntax: Outer_Syntax)
     1.8 +  val base_syntax: Outer_Syntax,
     1.9 +  val log: Logger = No_Logger)
    1.10  {
    1.11    /* document node names */
    1.12