diff options
Diffstat (limited to 'dhall/src/phase/normalize.rs')
| -rw-r--r-- | dhall/src/phase/normalize.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/dhall/src/phase/normalize.rs b/dhall/src/phase/normalize.rs index a493b66..35d32cb 100644 --- a/dhall/src/phase/normalize.rs +++ b/dhall/src/phase/normalize.rs @@ -398,7 +398,9 @@ where for (k, t) in map1 { // Only insert in the final map if the key exists in both - if let Some(u) = map2.get(k) { kvs.insert(k.clone(), f(k, t, u)); } + if let Some(u) = map2.get(k) { + kvs.insert(k.clone(), f(k, t, u)); + } } kvs |