tuned;
authorwenzelm
Sat, 20 Aug 2022 13:16:15 +0200
changeset 75919 ccb13acd5283
parent 75918 16a53676ebbd
child 75920 27bf2533f4a4
tuned;
src/Pure/PIDE/resources.scala
--- a/src/Pure/PIDE/resources.scala	Sat Aug 20 12:39:37 2022 +0200
+++ b/src/Pure/PIDE/resources.scala	Sat Aug 20 13:16:15 2022 +0200
@@ -232,9 +232,10 @@
         val imports =
           header.imports.map({ case (s, pos) =>
             val name = import_name(node_name, s)
-            if (Sessions.exclude_theory(name.theory_base_name))
+            if (Sessions.exclude_theory(name.theory_base_name)) {
               error("Bad theory name " + quote(name.theory_base_name) + Position.here(pos))
-            (name, pos)
+            }
+            else (name, pos)
           })
         Document.Node.Header(imports, header.keywords, header.abbrevs)
       }