From 83d64308c5e4fad844b8273398a60471c5b85541 Mon Sep 17 00:00:00 2001 From: Feng Date: Sun, 24 Jan 2016 14:15:34 +0800 Subject: [PATCH] plen/2 spec --- src/priority_queue.erl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/priority_queue.erl b/src/priority_queue.erl index 454e9ab18..ad92553be 100644 --- a/src/priority_queue.erl +++ b/src/priority_queue.erl @@ -57,7 +57,7 @@ -spec(is_queue/1 :: (any()) -> boolean()). -spec(is_empty/1 :: (pqueue()) -> boolean()). -spec(len/1 :: (pqueue()) -> non_neg_integer()). --spec(len_p/2 :: (priority(), pqueue()) -> non_neg_integer()). +-spec(plen/2 :: (priority(), pqueue()) -> non_neg_integer()). -spec(to_list/1 :: (pqueue()) -> [{priority(), any()}]). -spec(from_list/1 :: ([{priority(), any()}]) -> pqueue()). -spec(in/2 :: (any(), pqueue()) -> pqueue()).