fix duplicate citation

This commit is contained in:
Swrup 2022-01-27 10:45:34 +01:00
parent 6629783cb7
commit c81815e1a5

View file

@ -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 =