src/Pure/Admin/afp.scala
changeset 67052 caf87d4b9b61
parent 67026 687c822ee5e3
child 67776 44efac3d8638
     1.1 --- a/src/Pure/Admin/afp.scala	Sat Nov 11 18:41:08 2017 +0000
     1.2 +++ b/src/Pure/Admin/afp.scala	Sun Nov 12 12:41:05 2017 +0100
     1.3 @@ -35,7 +35,7 @@
     1.4  
     1.5    val sessions: List[String] = entries.flatMap(_.sessions)
     1.6  
     1.7 -  val sessions_structure: Sessions.T =
     1.8 +  val sessions_structure: Sessions.Structure =
     1.9      Sessions.load_structure(options, dirs = List(main_dir)).
    1.10        selection(Sessions.Selection(sessions = sessions.toList))
    1.11