A new user interface for you! Read more...

File otp_src_18.2.2-dialyzer-fix-timing.patch of Package erlang

diff -Ndur otp_src_18.2.2/lib/dialyzer/src/dialyzer_timing.erl otp_src_18.2.2-dialyzer-fix-timing/lib/dialyzer/src/dialyzer_timing.erl
--- otp_src_18.2.2/lib/dialyzer/src/dialyzer_timing.erl	2016-01-08 14:09:37.000000000 +0200
+++ otp_src_18.2.2-dialyzer-fix-timing/lib/dialyzer/src/dialyzer_timing.erl	2016-01-22 18:25:24.951501659 +0200
@@ -49,7 +49,7 @@
 loop(LastNow, Size, Unit) ->
   receive
     {stamp, Msg, Now} ->
-      io:format("    ~-10s (+~4.2fs):", [Msg, diff(Now, LastNow)]),
+      io:format("    ~-10s (+~5.2fs):", [Msg, diff(Now, LastNow)]),
       loop(Now, 0, "");
     {stamp, Now} ->
       SizeStr =