From ad37c5a300f2711baa32e2f5b6697191dd8bfc67 Mon Sep 17 00:00:00 2001 From: Lukas Larsson Date: Wed, 5 Jun 2013 15:42:59 +0200 Subject: erts: Update spec in preloaded to reflect sucess typing --- erts/preloaded/src/erlang.erl | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'erts/preloaded/src/erlang.erl') diff --git a/erts/preloaded/src/erlang.erl b/erts/preloaded/src/erlang.erl index 6929ca3fa5..6fdd42d95f 100644 --- a/erts/preloaded/src/erlang.erl +++ b/erts/preloaded/src/erlang.erl @@ -3538,9 +3538,7 @@ sched_wall_time(Ref, N, Acc) -> {Ref, SWT} -> sched_wall_time(Ref, N-1, [SWT|Acc]) end. --spec erlang:gather_gc_info_result(Ref) -> [{pos_integer(), - pos_integer(), - 0}] when +-spec erlang:gather_gc_info_result(Ref) -> [{number(),number(),0}] when Ref :: reference(). gather_gc_info_result(Ref) when erlang:is_reference(Ref) -> -- cgit v1.2.3