diff options
| author | Nadrieril | 2020-01-29 22:06:01 +0000 |
|---|---|---|
| committer | Nadrieril | 2020-01-29 22:06:01 +0000 |
| commit | a928c3c4f51d87fd942e8a81727962c00abf6808 (patch) | |
| tree | 4351f1326814d7ba5ecd89d47a56c9f55be40fb5 /dhall/src/semantics/core/visitor.rs | |
| parent | 489174a426e6057a68b6edd2e9b4387d09912a25 (diff) | |
Cleanup variable handling
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 aec66f8..2191ce3 100644 --- a/dhall/src/semantics/core/visitor.rs +++ b/dhall/src/semantics/core/visitor.rs @@ -96,7 +96,7 @@ where v.visit_vec(types)?, env.clone(), ), - Var(v, w) => Var(v.clone(), *w), + Var(v) => Var(*v), Const(k) => Const(*k), BoolLit(b) => BoolLit(*b), NaturalLit(n) => NaturalLit(*n), |