From 744a07e53fb99652b2b30520cfe3dfe701bbde18 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 13 Nov 2018 12:45:00 +0100
Subject: We improve a little bit in printing universe constraints signature
 mismatch.

Use of boxes to ensure locality of formatting + use of a
prlist_with_sep so that there are breaking points only inbetween the
elements and not at the end of the list.
---
 test-suite/output/UnivBinders.out | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'test-suite')

diff --git a/test-suite/output/UnivBinders.out b/test-suite/output/UnivBinders.out
index d63b6dbfce..4d3f7419e6 100644
--- a/test-suite/output/UnivBinders.out
+++ b/test-suite/output/UnivBinders.out
@@ -41,8 +41,7 @@ Arguments A, Wrap are implicit and maximally inserted
 Argument scopes are [type_scope _]
 Polymorphic bar@{u} = nat
      : Wrap@{u} Set
-(* u |= Set < u
-         *)
+(* u |= Set < u *)
 
 bar is universe polymorphic
 Polymorphic foo@{u UnivBinders.17 v} = 
-- 
cgit v1.2.3