diff options
Diffstat (limited to '')
-rw-r--r-- | dhall/src/semantics/core/visitor.rs | 2 |
1 files changed, 1 insertions, 1 deletions
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), |