# HG changeset patch
# User wenzelm
# Date 1492457183 -7200
# Node ID a6644e0e87286a192ee309a51c9d5a91cf615602
# Parent  fc7f03cbccbcbb213ff8ccb521d0b3528c4b08cd
clarified: Map index uses canonical files;

diff -r fc7f03cbccbc -r a6644e0e8728 src/Pure/Thy/sessions.scala
--- a/src/Pure/Thy/sessions.scala	Mon Apr 17 21:00:38 2017 +0200
+++ b/src/Pure/Thy/sessions.scala	Mon Apr 17 21:26:23 2017 +0200
@@ -112,7 +112,7 @@
       known.theories.get(name)
 
     def known_file(file: JFile): Option[Document.Node.Name] =
-      known.files.getOrElse(file, Nil).headOption
+      known.files.getOrElse(file.getCanonicalFile, Nil).headOption
 
     def dest_known_theories: List[(String, String)] =
       for ((theory, node_name) <- known.theories.toList)