Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/sessions.scala
changeset 70684 60b1eda998f3
parent 70683 8c7706b053c7
child 70685 c1597167563e 
--- a/src/Pure/Thy/sessions.scala	Thu Sep 12 13:33:09 2019 +0200
+++ b/src/Pure/Thy/sessions.scala	Thu Sep 12 13:35:53 2019 +0200
@@ -691,7 +691,7 @@
             val session = info.name
             val canonical_dir = dir.canonical_file
             dirs.get(canonical_dir) match {
-              case Some(session1) if session1 != session =>
+              case Some(session1) =>
                 val info1 = info_graph.get_node(session1)
                 error("Duplicate use of directory " + dir +
                   "\n  for session " + quote(session1) + Position.here(info1.pos) +
isabelle