1 files changed, 1 insertions, 1 deletions
diff --git a/lib/pp.ml b/lib/pp.ml
index 427c60b8f6..c3cef6cda3 100644
--- a/lib/pp.ml
+++ b/lib/pp.ml
@@ -404,7 +404,7 @@ let pr_nth n =
 
 (* [prlist pr [a ; ... ; c]] outputs [pr a ++ ... ++ pr c] *)
 
-let prlist elem l = List.fold_left (++) Glue.empty (List.rev (List.map elem l))
+let prlist pr l = List.fold_left (fun x e -> x ++ pr e) Glue.empty l
 
 (* unlike all other functions below, [prlist] works lazily.
    if a strict behavior is needed, use [prlist_strict] instead.