src/Pure/Thy/sessions.scala
changeset 65373 905ed0102c69
parent 65372 b722ee40c26c
child 65374 a5b38d8d3c1e
     1.1 --- a/src/Pure/Thy/sessions.scala	Tue Apr 04 19:40:47 2017 +0200
     1.2 +++ b/src/Pure/Thy/sessions.scala	Tue Apr 04 19:51:56 2017 +0200
     1.3 @@ -185,7 +185,12 @@
     1.4  
     1.5      def global_theories: List[String] =
     1.6        for { (global, _, paths) <- theories if global; path <- paths }
     1.7 -      yield path.base.implode
     1.8 +      yield {
     1.9 +        val name = path.base.implode
    1.10 +        if (Long_Name.is_qualified(name))
    1.11 +          error("Bad qualified name for global theory " + quote(name))
    1.12 +        else name
    1.13 +      }
    1.14    }
    1.15  
    1.16    object Tree