From 280b3174476ef8fe5a98f3614f4fe253fa243d8c Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 29 Jan 2020 21:35:28 +0000
Subject: Finally get rid of all of the shift/subst_shift !

---
 dhall/src/semantics/nze/nzexpr.rs | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'dhall/src/semantics/nze')

diff --git a/dhall/src/semantics/nze/nzexpr.rs b/dhall/src/semantics/nze/nzexpr.rs
index 87d0269..c065a5b 100644
--- a/dhall/src/semantics/nze/nzexpr.rs
+++ b/dhall/src/semantics/nze/nzexpr.rs
@@ -104,9 +104,6 @@ impl NzVar {
         let id = FRESH_VAR_COUNTER.fetch_add(1, Ordering::SeqCst);
         NzVar::Fresh(id)
     }
-    pub fn shift(&self, delta: isize) -> Self {
-        NzVar::new((self.idx() as isize + delta) as usize)
-    }
     // Panics on a fresh variable.
     pub fn idx(&self) -> usize {
         match self {
-- 
cgit v1.2.3