diff options
author | Lukas Larsson <[email protected]> | 2013-06-05 15:42:59 +0200 |
---|---|---|
committer | Lukas Larsson <[email protected]> | 2013-06-05 15:42:59 +0200 |
commit | ad37c5a300f2711baa32e2f5b6697191dd8bfc67 (patch) | |
tree | a6a48605b5de65d453177facbfbe2647219f2271 | |
parent | fb4440038ea305929d7f46c0ea651994b412483f (diff) | |
download | otp-ad37c5a300f2711baa32e2f5b6697191dd8bfc67.tar.gz otp-ad37c5a300f2711baa32e2f5b6697191dd8bfc67.tar.bz2 otp-ad37c5a300f2711baa32e2f5b6697191dd8bfc67.zip |
erts: Update spec in preloaded to reflect sucess typing
-rw-r--r-- | erts/preloaded/src/erlang.erl | 4 |
1 files changed, 1 insertions, 3 deletions
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) -> |