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/Syntax/syntax_phases.ML
changeset 62505 9e2a65912111
parent 62239 6ee95b93fbed
child 62529 8b7bdfc09f3b 
--- a/src/Pure/Syntax/syntax_phases.ML	Thu Mar 03 14:03:06 2016 +0100
+++ b/src/Pure/Syntax/syntax_phases.ML	Thu Mar 03 15:23:02 2016 +0100
@@ -310,7 +310,7 @@
 
 fun report_result ctxt pos ambig_msgs results =
   (case (proper_results results, failed_results results) of
-    ([], (reports, exn) :: _) => (Context_Position.reports_text ctxt reports; reraise exn)
+    ([], (reports, exn) :: _) => (Context_Position.reports_text ctxt reports; Exn.reraise exn)
   | ([(reports, x)], _) => (Context_Position.reports_text ctxt reports; x)
   | _ =>
       if null ambig_msgs then
isabelle