From d13eb9c5ab01080a12e3bcb5cc54159ec365bee4 Mon Sep 17 00:00:00 2001
From: Matej Kosik <matej.kosik@inria.fr>
Date: Fri, 14 Apr 2017 14:44:04 +0200
Subject: refactoring "Ppvernac.pr_extend"

---
 printing/ppvernac.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'printing/ppvernac.ml')

diff --git a/printing/ppvernac.ml b/printing/ppvernac.ml
index cfc2e48d1..547cb1de9 100644
--- a/printing/ppvernac.ml
+++ b/printing/ppvernac.ml
@@ -1222,7 +1222,7 @@ open Decl_kinds
         | Egramml.GramTerminal s :: rl, cl -> str s :: aux rl cl
         | [], [] -> []
         | _ -> assert false in
-      hov 1 (pr_sequence (fun x -> x) (aux rl cl))
+      hov 1 (pr_sequence identity (aux rl cl))
     with Not_found ->
       hov 1 (str "TODO(" ++ str (fst s) ++ spc () ++ prlist_with_sep sep pr_arg cl ++ str ")")
 
-- 
cgit v1.2.3