fix duplicate citation
This commit is contained in:
parent
da6278afe3
commit
f021a94fbc
1 changed files with 1 additions and 1 deletions
|
|
@ -355,7 +355,7 @@ let parse_comment comment =
|
|||
lines
|
||||
in
|
||||
(* remove duplicate cited_id *)
|
||||
let cited_posts = List.sort_uniq (fun _ _ -> 1) cited_posts in
|
||||
let cited_posts = List.sort_uniq String.compare cited_posts in
|
||||
(comment, cited_posts)
|
||||
|
||||
let view_post ?is_thread_preview post_id =
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue