From 9c390adab04228d326b30b662ab82f3f3cdf4b8f Mon Sep 17 00:00:00 2001
From: Xavier Clerc
Date: Thu, 21 Aug 2014 09:37:34 +0200
Subject: Improve consistency of whitespace (beautifier).

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

diff --git a/printing/ppvernac.ml b/printing/ppvernac.ml
index 2440a78687..17b61f30fd 100644
--- a/printing/ppvernac.ml
+++ b/printing/ppvernac.ml
@@ -245,7 +245,7 @@ let pr_module_binders l pr_c =
 
 let pr_type_option pr_c = function
   | CHole (loc, k, _) -> mt()
-  | _ as c -> brk(0,2) ++ str":" ++ pr_c c
+  | _ as c -> brk(0,2) ++ str" :" ++ pr_c c
 
 let pr_decl_notation prc ((loc,ntn),c,scopt) =
   fnl () ++ str "where " ++ qs ntn ++ str " := " ++ prc c ++
-- 
cgit v1.2.3