From 3182c121815857c0b2b3c057f1d2944c51332cdc Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Tue, 21 Jan 2020 18:51:00 +0000
Subject: Prepare Value for reverse variables

I thought it would work ><. It's a bit too early
---
 dhall/src/semantics/core/visitor.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/dhall/src/semantics/core/visitor.rs b/dhall/src/semantics/core/visitor.rs
index a449f6c..5a04747 100644
--- a/dhall/src/semantics/core/visitor.rs
+++ b/dhall/src/semantics/core/visitor.rs
@@ -81,7 +81,7 @@ where
             Pi(l.clone(), t, e)
         }
         AppliedBuiltin(b, xs) => AppliedBuiltin(*b, v.visit_vec(xs)?),
-        Var(v) => Var(v.clone()),
+        Var(v, w) => Var(v.clone(), *w),
         Const(k) => Const(*k),
         BoolLit(b) => BoolLit(*b),
         NaturalLit(n) => NaturalLit(*n),
-- 
cgit v1.2.3