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/System/session.ML
changeset 53192 04df1d236e1c
parent 52440 67f57dc115b9
child 55386 0c15ac6edcf7 
--- a/src/Pure/System/session.ML	Sun Aug 25 17:17:48 2013 +0200
+++ b/src/Pure/System/session.ML	Sun Aug 25 20:32:26 2013 +0200
@@ -51,7 +51,7 @@
 (* finish *)
 
 fun finish () =
- (Goal.shutdown_futures ();
+ (Execution.shutdown ();
   Thy_Info.finish ();
   Present.finish ();
   Outer_Syntax.check_syntax ();
isabelle