diff options
| -rw-r--r-- | src/priority_queue.erl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/priority_queue.erl b/src/priority_queue.erl index 9b24f09fe0..ef45ef66af 100644 --- a/src/priority_queue.erl +++ b/src/priority_queue.erl @@ -65,7 +65,8 @@ -spec(out/1 :: (pqueue()) -> {empty | {value, any()}, pqueue()}). -spec(join/2 :: (pqueue(), pqueue()) -> pqueue()). -spec(filter/2 :: (fun ((any()) -> boolean()), pqueue()) -> pqueue()). --spec(fold/3 :: (fun ((any(), any()) -> any()), any(), pqueue()) -> any()). +-spec(fold/3 :: + (fun ((any(), priority(), any()) -> any()), any(), pqueue()) -> any()). -spec(highest/1 :: (pqueue()) -> priority() | 'empty'). -endif. |