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/HOL/Tools/Sledgehammer/sledgehammer.ML
changeset 62505 9e2a65912111
parent 62219 dbac573b27e7
child 62519 a564458f94db 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer.ML	Thu Mar 03 14:03:06 2016 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer.ML	Thu Mar 03 15:23:02 2016 +0100
@@ -192,7 +192,7 @@
              handle
                ERROR msg => (unknownN, fn () => "Error: " ^ msg ^ "\n")
              | exn =>
-               if Exn.is_interrupt exn then reraise exn
+               if Exn.is_interrupt exn then Exn.reraise exn
                else (unknownN, fn () => "Internal error:\n" ^ Runtime.exn_message exn ^ "\n"))
 
         val _ =
isabelle