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/export_theory.scala
changeset 75769 4d27b520622a
parent 75763 8cf14d4ebec4
child 75774 efc25bf4b795 
--- a/src/Pure/Thy/export_theory.scala	Fri Aug 05 18:45:49 2022 +0200
+++ b/src/Pure/Thy/export_theory.scala	Fri Aug 05 19:02:38 2022 +0200
@@ -108,7 +108,7 @@
   }
 
   def read_theory_parents(provider: Export.Provider, theory_name: String): Option[List[String]] =
-    provider.focus(theory_name)(Export.THEORY_PREFIX + "parents")
+    provider.focus(theory_name)(Export.THEORY_PARENTS)
       .map(entry => Library.trim_split_lines(entry.uncompressed.text))
 
   def no_theory: Theory =
isabelle