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/Tools/try.ML
changeset 62505 9e2a65912111
parent 60190 906de96ba68a
child 62519 a564458f94db 
--- a/src/Tools/try.ML	Thu Mar 03 14:03:06 2016 +0100
+++ b/src/Tools/try.ML	Thu Mar 03 15:23:02 2016 +0100
@@ -114,7 +114,7 @@
                   (true, (_, outcome)) => List.app Output.information outcome
                 | _ => ())
               else ()
-            end handle exn => if Exn.is_interrupt exn then reraise exn else ()}
+            end handle exn => if Exn.is_interrupt exn then Exn.reraise exn else ()}
       else NONE)
isabelle