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 31542 3371a3c19bb1
parent 30819 17bd1cf53d8e
child 32061 11f8ee55662d 
--- a/src/Pure/Thy/thy_info.ML	Wed Jun 10 00:46:37 2009 +0200
+++ b/src/Pure/Thy/thy_info.ML	Wed Jun 10 11:12:06 2009 +0200
@@ -387,7 +387,7 @@
     (case Graph.get_node tasks name of
       Task body =>
         let val after_load = body ()
-        in after_load () handle exn => (kill_thy name; raise exn) end
+        in after_load () handle exn => (kill_thy name; reraise exn) end
     | _ => ()));
 
 in
isabelle