src/Pure/Thy/sessions.scala
changeset 62969 9f394a16c557
parent 62968 4e4738698db4
child 62973 744266e32612
     1.1 --- a/src/Pure/Thy/sessions.scala	Wed Apr 13 17:00:02 2016 +0200
     1.2 +++ b/src/Pure/Thy/sessions.scala	Wed Apr 13 18:01:05 2016 +0200
     1.3 @@ -201,7 +201,7 @@
     1.4  
     1.5        val theories =
     1.6          ($$$(GLOBAL_THEORIES) | $$$(THEORIES)) ~!
     1.7 -          ((options | success(Nil)) ~ rep(theory_xname)) ^^
     1.8 +          ((options | success(Nil)) ~ rep(theory_name)) ^^
     1.9            { case x ~ (y ~ z) => (x == GLOBAL_THEORIES, y, z) }
    1.10  
    1.11        val document_files =