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/System/command_line.scala
changeset 56671 06853449cf0a
parent 56669 f42717b5dc84
child 56782 433cf57550fa 
--- a/src/Pure/System/command_line.scala	Wed Apr 23 13:05:11 2014 +0200
+++ b/src/Pure/System/command_line.scala	Wed Apr 23 13:28:32 2014 +0200
@@ -30,7 +30,7 @@
       catch {
         case exn: Throwable =>
           if (debug) exn.printStackTrace
-          System.err.println(cat_lines(split_lines(Exn.message(exn)).map("*** " + _)))
+          System.err.println(Exn.error_message(exn))
           Exn.return_code(exn, 2)
       }
     sys.exit(rc)
isabelle