1 files changed, 7 insertions, 9 deletions
diff --git a/test-suite/output/PatternsInBinders.out b/test-suite/output/PatternsInBinders.out
index bfeff20524..bdbc5a5960 100644
--- a/test-suite/output/PatternsInBinders.out
+++ b/test-suite/output/PatternsInBinders.out
@@ -1,4 +1,4 @@
-Monomorphic swap = fun '(x, y) => (y, x)
+swap = fun '(x, y) => (y, x)
      : A * B -> B * A
 
 swap is not universe polymorphic
@@ -6,22 +6,20 @@ fun '(x, y) => (y, x)
      : A * B -> B * A
 forall '(x, y), swap (x, y) = (y, x)
      : Prop
-Monomorphic proj_informative = 
-fun '(exist _ x _) => x : A
+proj_informative = fun '(exist _ x _) => x : A
      : {x : A | P x} -> A
 
 proj_informative is not universe polymorphic
-Monomorphic foo = 
-fun '(Bar n b tt p) => if b then n + p else n - p
+foo = fun '(Bar n b tt p) => if b then n + p else n - p
      : Foo -> nat
 
 foo is not universe polymorphic
-Monomorphic baz = 
+baz = 
 fun '(Bar n1 _ tt p1) '(Bar _ _ tt _) => n1 + p1
      : Foo -> Foo -> nat
 
 baz is not universe polymorphic
-Monomorphic swap = 
+swap = 
 fun (A B : Type) '(x, y) => (y, x)
      : forall A B : Type, A * B -> B * A
 
@@ -40,7 +38,7 @@ exists '(x, y) '(z, w), swap (x, y) = (z, w)
      : A * B → B * A
 ∀ '(x, y), swap (x, y) = (y, x)
      : Prop
-Monomorphic both_z = 
+both_z = 
 fun pat : nat * nat =>
 let '(n, p) as x := pat return (F x) in (Z n, Z p) : F (n, p)
      : forall pat : nat * nat, F pat
@@ -52,7 +50,7 @@ forall '(x, y) '(z, t), swap (x, y) = (z, t)
      : Prop
 fun (pat : nat) '(x, y) => x + y = pat
      : nat -> nat * nat -> Prop
-Monomorphic f = fun x : nat => x + x
+f = fun x : nat => x + x
      : nat -> nat
 
 f is not universe polymorphic