diff options
| author | Hugo Herbelin | 2018-04-19 08:00:43 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2018-04-19 08:00:43 +0200 |
| commit | 513884e806a4db39ae6402333833ecc4f70a0fdc (patch) | |
| tree | c1d9928d7e6d33229e5a524ed77567644cf11ce4 /src | |
| parent | 67157b85f2bd4e6e6e23945686043e3479e39d67 (diff) | |
Fixing printing level for subtypes of a type constructor.
Diffstat (limited to 'src')
| -rw-r--r-- | src/tac2print.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |