From 31c1280a000c03c3a48ee697032d67e3e06af3fa Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Thu, 24 Jul 2014 17:47:40 +0200
Subject: Fix misleading pretty-printing of information for
 non-universe-polymorphic definitions.

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

diff --git a/printing/prettyp.ml b/printing/prettyp.ml
index 03ad7889fa..42d779f04d 100644
--- a/printing/prettyp.ml
+++ b/printing/prettyp.ml
@@ -202,7 +202,7 @@ let print_polymorphism ref =
       (if poly then "universe polymorphic"
        else if template_poly then
 	 "template universe polymorphic"
-       else "monomorphic")
+       else "not universe polymorphic")
 	 
 let print_name_infos ref =
   let poly = print_polymorphism ref in
-- 
cgit v1.2.3