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/PIDE/resources.scala
changeset 72765 f34f5c057c9e
parent 72760 042180540068
child 72772 a9ef39041114 
--- a/src/Pure/PIDE/resources.scala	Sat Nov 28 22:20:48 2020 +0100
+++ b/src/Pure/PIDE/resources.scala	Sat Nov 28 23:28:56 2020 +0100
@@ -221,7 +221,7 @@
   {
     if (node_name.is_theory && reader.source.length > 0) {
       try {
-        val header = Thy_Header.read(reader, start, strict)
+        val header = Thy_Header.read(reader, start, strict).check_keywords
 
         val base_name = node_name.theory_base_name
         if (Long_Name.is_qualified(header.name)) {
isabelle