diff --git a/test-suite/output/bug_13942.out b/test-suite/output/bug_13942.out
index b6bb3a0c6e..9de7a83c0c 100644
--- a/test-suite/output/bug_13942.out
+++ b/test-suite/output/bug_13942.out
@@ -4,7 +4,7 @@ The following term contains unresolved implicit arguments:
   (fi fu)
 More precisely: 
 - ?A: Cannot infer the implicit parameter A of fi whose type is 
-  "Type" in
+  "Univ" in
   environment:
   K : Type
   M : Type -> Type
@@ -58,7 +58,7 @@ The following term contains unresolved implicit arguments:
   (fi fu)
 More precisely: 
 - ?A: Cannot infer the implicit parameter A of fi whose type is 
-  "Type" in
+  "Univ" in
   environment:
   K : Type
   M : Type -> Type