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/thy_info.ML
changeset 39557 fe5722fce758
parent 39021 139aada5caf8
child 40132 7ee65dbffa31 
--- a/src/Pure/Thy/thy_info.ML	Mon Sep 20 15:29:53 2010 +0200
+++ b/src/Pure/Thy/thy_info.ML	Mon Sep 20 16:05:25 2010 +0200
@@ -194,7 +194,7 @@
       tasks |> maps (fn name =>
         let
           val (thy, after_load) = Future.join (the (Symtab.lookup futures name));
-          val _ = PureThy.join_proofs thy;
+          val _ = Global_Theory.join_proofs thy;
           val _ = after_load ();
         in [] end handle exn => [Exn.Exn exn])
       |> rev |> Exn.release_all;
isabelle