From d69cf504a1c8eb8043c8115c7dcb5cefba67fb06 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Sun, 14 Apr 2019 00:01:17 +0200
Subject: Fix a tiny normalization bug

---
 dhall/src/normalize.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dhall')

diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs
index 18f0ca8..49812c9 100644
--- a/dhall/src/normalize.rs
+++ b/dhall/src/normalize.rs
@@ -97,7 +97,7 @@ where
                     }
                 };
                 let a0 = a0.roll();
-                let a1 = shift(1, &V("a".into(), 0), &a0);
+                let a1 = shift(1, &V("x".into(), 0), &a0);
                 let g = g.roll();
                 break 'ret (
                     dhall_expr!(
-- 
cgit v1.2.3