From 015b76ce47af5b1b31661a934aee13843215c6b0 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 27 Dec 2019 16:48:33 +0000
Subject: Construct T/Build closures in Expr space

---
 dhall/src/semantics/core/var.rs | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'dhall/src/semantics/core/var.rs')

diff --git a/dhall/src/semantics/core/var.rs b/dhall/src/semantics/core/var.rs
index 1548713..017a689 100644
--- a/dhall/src/semantics/core/var.rs
+++ b/dhall/src/semantics/core/var.rs
@@ -62,12 +62,6 @@ impl AlphaVar {
             self.normal.clone()
         }
     }
-    pub(crate) fn from_var_and_alpha(normal: V<Label>, alpha: usize) -> Self {
-        AlphaVar {
-            normal,
-            alpha: V((), alpha),
-        }
-    }
 }
 
 impl AlphaLabel {
-- 
cgit v1.2.3