From d8c3ced0f1acb1924c801fadbfd3077dede9b0dd Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 2 Feb 2020 17:22:27 +0000
Subject: More errors

---
 dhall/tests/type-errors/unit/ListLiteralEmptyNotType.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'dhall/tests/type-errors/unit/ListLiteralEmptyNotType.txt')

diff --git a/dhall/tests/type-errors/unit/ListLiteralEmptyNotType.txt b/dhall/tests/type-errors/unit/ListLiteralEmptyNotType.txt
index 125cc87..1459ca1 100644
--- a/dhall/tests/type-errors/unit/ListLiteralEmptyNotType.txt
+++ b/dhall/tests/type-errors/unit/ListLiteralEmptyNotType.txt
@@ -3,6 +3,6 @@ Type error: Unhandled error: error: Wrong type of function argument
   |
 1 | [] : List Type
   |      ^^^^^^^^^ Wrong type of function argument
-  |      ---- help: this expects an argument of type: Type
-  |           ---- help: but this has type: Kind
+  |      ^^^^ this expects an argument of type: Type
+  |           ^^^^ but this has type: Kind
   |
-- 
cgit v1.2.3