From a928c3c4f51d87fd942e8a81727962c00abf6808 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 29 Jan 2020 22:06:01 +0000
Subject: Cleanup variable handling

---
 dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt | 2 --
 1 file changed, 2 deletions(-)

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

diff --git a/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt b/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt
index 02d2970..6b3f8dc 100644
--- a/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt
+++ b/dhall/tests/type-errors/unit/MergeHandlersWithDifferentType.txt
@@ -8,7 +8,6 @@ Type error: Unhandled error: MergeHandlerTypeMismatch: Value@WHNF {
                 Replaced(
                     Value@Unevaled {
                         value: Var(
-                            AlphaVar(0),
                             Fresh(
                                 119,
                             ),
@@ -40,7 +39,6 @@ Type error: Unhandled error: MergeHandlerTypeMismatch: Value@WHNF {
                 Replaced(
                     Value@Unevaled {
                         value: Var(
-                            AlphaVar(0),
                             Fresh(
                                 120,
                             ),
-- 
cgit v1.2.3