From 513884e806a4db39ae6402333833ecc4f70a0fdc Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 19 Apr 2018 08:00:43 +0200
Subject: Fixing printing level for subtypes of a type constructor.

---
 src/tac2print.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/tac2print.ml b/src/tac2print.ml
index cab1530d15..9c530dfc51 100644
--- a/src/tac2print.ml
+++ b/src/tac2print.ml
@@ -49,7 +49,7 @@ let pr_glbtype_gen pr lvl c =
     | T5_r | T5_l | T2 | T1 -> fun x -> x
     | T0 -> paren
     in
-    paren (pr_glbtype lvl t ++ spc () ++ pr_typref kn)
+    paren (pr_glbtype T1 t ++ spc () ++ pr_typref kn)
   | GTypRef (Other kn, tl) ->
     let paren = match lvl with
     | T5_r | T5_l | T2 | T1 -> fun x -> x
-- 
cgit v1.2.3