From 67cdda53d95057174b86878f22dbc0efc0255fd9 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 14 Aug 2019 22:55:00 +0200
Subject: Fix typo in normalization

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

(limited to 'dhall/src')

diff --git a/dhall/src/core/value.rs b/dhall/src/core/value.rs
index 20a6021..845596b 100644
--- a/dhall/src/core/value.rs
+++ b/dhall/src/core/value.rs
@@ -107,7 +107,7 @@ impl Value {
                 ))
             };
             (λ($var:ident : $($ty:tt)*) -> $($rest:tt)*) => {
-                rc(ExprF::Pi(
+                rc(ExprF::Lam(
                     stringify!($var).into(),
                     make_expr!($($ty)*),
                     make_expr!($($rest)*)
-- 
cgit v1.2.3