src/Pure/Thy/sessions.scala
changeset 66234 836898197296
parent 66195 bb886f13623a
child 66243 453f9cabddb5
     1.1 --- a/src/Pure/Thy/sessions.scala	Fri Jun 30 14:17:48 2017 +0200
     1.2 +++ b/src/Pure/Thy/sessions.scala	Fri Jun 30 14:19:37 2017 +0200
     1.3 @@ -83,7 +83,7 @@
     1.4  
     1.5      def get_file(file: JFile, bootstrap: Boolean = false): Option[Document.Node.Name] =
     1.6      {
     1.7 -      val res = files.getOrElse(file.getCanonicalFile, Nil).headOption
     1.8 +      val res = files.getOrElse(File.canonical(file), Nil).headOption
     1.9        if (bootstrap) res.map(_.map_theory(Thy_Header.bootstrap_name(_))) else res
    1.10      }
    1.11    }