--- a/src/Tools/jEdit/src/session_build.scala Sun Apr 12 21:53:58 2020 +0100
+++ b/src/Tools/jEdit/src/session_build.scala Mon Apr 13 16:16:22 2020 +0200
@@ -171,7 +171,7 @@
(Output.error_message_text(Exn.message(exn)) + "\n", Exn.return_code(exn, 2))
}
- progress.echo(out + (if (rc == 0) "OK\n" else "Return code: " + rc + "\n"))
+ progress.echo(out + (if (rc == 0) "OK" else Process_Result.print_return_code(rc)) + "\n")
if (rc == 0) JEdit_Sessions.session_start(options)
else progress.echo("Session build failed -- prover process remains inactive!")