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/command.scala
changeset 72772 a9ef39041114
parent 72765 f34f5c057c9e
child 72774 51c0f79d6eed 
--- a/src/Pure/PIDE/command.scala	Sun Nov 29 14:27:15 2020 +0100
+++ b/src/Pure/PIDE/command.scala	Sun Nov 29 14:57:15 2020 +0100
@@ -415,7 +415,7 @@
       // inlined errors
       case Thy_Header.THEORY =>
         val reader = Scan.char_reader(Token.implode(span.content))
-        val header = resources.check_thy_reader(node_name, reader)
+        val header = resources.check_thy(node_name, reader)
         val imports_pos = header.imports_pos
         val raw_imports =
           try {
isabelle