diff options
author | Nadrieril | 2019-08-03 22:30:19 +0200 |
---|---|---|
committer | Nadrieril | 2019-08-03 22:30:19 +0200 |
commit | 8ec422f2319360f986950fcb9aae4bcf65a9c1e2 (patch) | |
tree | 094abe9bcf7ae7843fa24276dc1541d0973e06f4 /dhall/src/phase/normalize.rs | |
parent | ded09933a6783d1124b6c22ff0818fb525c3141d (diff) |
rustfmt
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 |