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/Isar/toplevel.ML
changeset 68772 23a5e7fba837
parent 68505 088780aa2b70
child 68839 d8251a61cce8 
--- a/src/Pure/Isar/toplevel.ML	Sun Aug 19 10:32:22 2018 +0200
+++ b/src/Pure/Isar/toplevel.ML	Fri Aug 17 11:26:31 2018 +0000
@@ -213,7 +213,7 @@
             Theory (gthy, _) => gthy
           | Proof (_, (_, gthy)) => gthy
           | Skipped_Proof (_, (_, gthy)) => gthy);
-        val lthy = Context.cases (Named_Target.theory_init) I gthy;
+        val lthy = Context.cases Named_Target.theory_init I gthy;
       in Local_Theory.pretty lthy end);
 
 fun pretty_state state =
isabelle