1 files changed, 1 insertions, 21 deletions
diff --git a/dhall/tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt b/dhall/tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt
index 77fed39..8b729a4 100644
--- a/dhall/tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt
+++ b/dhall/tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt
@@ -1,21 +1 @@
-Type error: Unhandled error: MergeHandlerTypeMismatch: Value@WHNF {
-    value: AppliedBuiltin(
-        Natural,
-        [],
-        [],
-        NzEnv {
-            items: [],
-        },
-    ),
-    type: Type,
-} != Value@WHNF {
-    value: AppliedBuiltin(
-        Bool,
-        [],
-        [],
-        NzEnv {
-            items: [],
-        },
-    ),
-    type: Type,
-}
+Type error: Unhandled error: MergeHandlerTypeMismatch