From 2a58c6bdf236108e6e6a8a3bc03629c99611576e Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 13 Apr 2016 00:35:23 +0200
Subject: Fixing printing of Polymorphic/Monomorphic.

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

diff --git a/printing/ppvernac.ml b/printing/ppvernac.ml
index 28f6f3f3f9..bcd38253f4 100644
--- a/printing/ppvernac.ml
+++ b/printing/ppvernac.ml
@@ -514,7 +514,7 @@ module Make
       match v with
         | VernacPolymorphic (poly, v) ->
           let s = if poly then keyword "Polymorphic" else keyword "Monomorphic" in
-          return (s ++ pr_vernac v)
+          return (s ++ spc () ++ pr_vernac v)
         | VernacProgram v ->
           return (keyword "Program" ++ spc() ++ pr_vernac v)
         | VernacLocal (local, v) ->
-- 
cgit v1.2.3