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/runtime.ML
changeset 44264 c21ecbb028b6
parent 44249 64620f1d6f87
child 44270 3eaad39e520c 
--- a/src/Pure/Isar/runtime.ML	Thu Aug 18 16:52:19 2011 +0900
+++ b/src/Pure/Isar/runtime.ML	Thu Aug 18 15:15:43 2011 +0200
@@ -61,7 +61,7 @@
       if Exn.is_interrupt exn then []
       else
         (case Par_Exn.dest exn of
-          SOME exns => maps (exn_msgs context) exns
+          SOME exns => maps (exn_msgs context) (rev exns)
         | NONE =>
             (case exn of
               Exn.EXCEPTIONS exns => maps (exn_msgs context) exns
isabelle