src/Pure/PIDE/resources.scala
changeset 65532 febfd9f78bd4
parent 65529 53fd6cf53ec2
child 66695 91500c024c7f
     1.1 --- a/src/Pure/PIDE/resources.scala	Fri Apr 21 13:51:43 2017 +0200
     1.2 +++ b/src/Pure/PIDE/resources.scala	Fri Apr 21 14:09:03 2017 +0200
     1.3 @@ -15,7 +15,6 @@
     1.4  
     1.5  class Resources(
     1.6    val session_base: Sessions.Base,
     1.7 -  val default_qualifier: String = Sessions.DRAFT,
     1.8    val log: Logger = No_Logger)
     1.9  {
    1.10    val thy_info = new Thy_Info(this)