From 5b32c5bdea80a0bdf19240f3cc2b8e2ae251d51a Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 6 Mar 2019 00:51:20 +0100
Subject: rustfmt

---
 dhall/src/core.rs | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

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

diff --git a/dhall/src/core.rs b/dhall/src/core.rs
index a0e686d..340cb04 100644
--- a/dhall/src/core.rs
+++ b/dhall/src/core.rs
@@ -1078,8 +1078,10 @@ where
                 }
                 (App(box Builtin(OptionalBuild), a0), g) => {
                     let e2: Expr<_, _> = app(app(app(g,
-                            App(bx(Builtin(Optional)), a0.clone())),
-                            Lam("x", a0.clone(), bx(OptionalLit(Some(a0.clone()), vec![Var(V("x", 0))])))), OptionalLit(Some(a0), vec![]));
+                        App(bx(Builtin(Optional)), a0.clone())),
+                            Lam("x", a0.clone(),
+                                bx(OptionalLit(Some(a0.clone()), vec![Var(V("x", 0))])))),
+                            OptionalLit(Some(a0), vec![]));
                     normalize(&e2)
                 }
                 (f2, a2) => app(f2, a2),
-- 
cgit v1.2.3