diff options
| author | Lukas Larsson <lukas@erlang-solutions.com> | 2013-06-05 15:42:59 +0200 |
|---|---|---|
| committer | Lukas Larsson <lukas@erlang-solutions.com> | 2013-06-05 15:42:59 +0200 |
| commit | ad37c5a300f2711baa32e2f5b6697191dd8bfc67 (patch) | |
| tree | a6a48605b5de65d453177facbfbe2647219f2271 /erts/preloaded/src/erlang.erl | |
| parent | fb4440038ea305929d7f46c0ea651994b412483f (diff) | |
| download | erlang-ad37c5a300f2711baa32e2f5b6697191dd8bfc67.tar.gz | |
erts: Update spec in preloaded to reflect sucess typing
Diffstat (limited to 'erts/preloaded/src/erlang.erl')
| -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) -> |