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 44249 64620f1d6f87
parent 44247 270366301bd7
child 44264 c21ecbb028b6 
--- a/src/Pure/Isar/runtime.ML	Wed Aug 17 22:25:00 2011 +0200
+++ b/src/Pure/Isar/runtime.ML	Wed Aug 17 23:37:23 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 o #2) exns   (* FIXME include serial in message!? *)
+          SOME exns => maps (exn_msgs context) exns
         | NONE =>
             (case exn of
               Exn.EXCEPTIONS exns => maps (exn_msgs context) exns
isabelle