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 /erts/preloaded/src | |
| parent | fb4440038ea305929d7f46c0ea651994b412483f (diff) | |
| download | otp-ad37c5a300f2711baa32e2f5b6697191dd8bfc67.tar.gz otp-ad37c5a300f2711baa32e2f5b6697191dd8bfc67.tar.bz2 otp-ad37c5a300f2711baa32e2f5b6697191dd8bfc67.zip | |
erts: Update spec in preloaded to reflect sucess typing
Diffstat (limited to 'erts/preloaded/src')
| -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) -> |