From b087b121ae82e5248cdef8ef1d9efa2335a2747d Mon Sep 17 00:00:00 2001
From: Xavier Clerc
Date: Thu, 21 Aug 2014 09:36:59 +0200
Subject: Space after [identity] coercion keywords (beautifier).

---
 printing/ppvernac.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/printing/ppvernac.ml b/printing/ppvernac.ml
index fed4cc51c2..2440a78687 100644
--- a/printing/ppvernac.ml
+++ b/printing/ppvernac.ml
@@ -717,12 +717,12 @@ let rec pr_vernac = function
   | VernacCanonical q -> str"Canonical Structure" ++ spc() ++ pr_smart_global q
   | VernacCoercion (_,id,c1,c2) ->
       hov 1 (
-	str"Coercion" ++
+	str"Coercion" ++ spc() ++
 	pr_smart_global id ++ spc() ++ str":" ++ spc() ++ pr_class_rawexpr c1 ++
 	spc() ++ str">->" ++ spc() ++ pr_class_rawexpr c2)
   | VernacIdentityCoercion (_,id,c1,c2) ->
       hov 1 (
-	str"Identity Coercion" ++ pr_lident id ++
+	str"Identity Coercion" ++ spc() ++ pr_lident id ++
 	spc() ++ str":" ++ spc() ++ pr_class_rawexpr c1 ++ spc() ++ str">->" ++
 	spc() ++ pr_class_rawexpr c2)
 
-- 
cgit v1.2.3