From c4397eab9f92f29fb32dd7e3cc3e4c81c63efe7d Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Mon, 10 Dec 2018 16:59:15 +0100
Subject: Stop printing Monomorphic/Polymorphic in Print.

You can tell which it is from the `@{}` if you really care, and seeing
`Monomorphic List (A:Type)` with no indication that `Monomorphic` is
about universes can confuse people.
---
 test-suite/output/TranspModtype.out | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'test-suite/output/TranspModtype.out')

diff --git a/test-suite/output/TranspModtype.out b/test-suite/output/TranspModtype.out
index f080f6d0f0..67b65d4b81 100644
--- a/test-suite/output/TranspModtype.out
+++ b/test-suite/output/TranspModtype.out
@@ -1,15 +1,15 @@
-Monomorphic TrM.A = M.A
+TrM.A = M.A
      : Set
 
 TrM.A is not universe polymorphic
-Monomorphic OpM.A = M.A
+OpM.A = M.A
      : Set
 
 OpM.A is not universe polymorphic
-Monomorphic TrM.B = M.B
+TrM.B = M.B
      : Set
 
 TrM.B is not universe polymorphic
-Monomorphic *** [ OpM.B : Set ]
+*** [ OpM.B : Set ]
 
 OpM.B is not universe polymorphic
-- 
cgit v1.2.3