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/proof.ML
changeset 28458 0966ac3f4a40
parent 28452 a72670460833
child 28627 63663cfa297c 
--- a/src/Pure/Isar/proof.ML	Thu Oct 02 14:22:36 2008 +0200
+++ b/src/Pure/Isar/proof.ML	Thu Oct 02 14:22:40 2008 +0200
@@ -963,7 +963,7 @@
         Exn.Result (SOME _) => goal_state
       | Exn.Result NONE => error (fail_msg (context_of goal_state))
       | Exn.Exn Exn.Interrupt => raise Exn.Interrupt
-      | Exn.Exn exn => raise Exn.EXCEPTIONS ([exn], fail_msg (context_of goal_state))))
+      | Exn.Exn exn => raise Exn.EXCEPTIONS ([exn, ERROR (fail_msg (context_of goal_state))])))
   end;
 
 in
isabelle