diff options
| -rw-r--r-- | printing/prettyp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |