Remove dead code

1 files changed, 0 insertions, 8 deletions

diff --git a/dhall/src/semantics/core/visitor.rs b/dhall/src/semantics/core/visitor.rs
index 61a7d0b..aec66f8 100644
--- a/dhall/src/semantics/core/visitor.rs
+++ b/dhall/src/semantics/core/visitor.rs
@@ -72,14 +72,6 @@ where
 {
     use ValueKind::*;
     Ok(match input {
-        Lam(l, t, e) => {
-            let (t, e) = v.visit_binder(l, t, e)?;
-            Lam(l.clone(), t, e)
-        }
-        Pi(l, t, e) => {
-            let (t, e) = v.visit_binder(l, t, e)?;
-            Pi(l.clone(), t, e)
-        }
         LamClosure {
             binder,
             annot,