From acd848fe5646c4ff2dd5a59d12e6b9168490e883 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Tue, 14 Apr 2020 09:47:41 +0200
Subject: [PATCH] Layout.

---
 theories/utils/switch.v | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/theories/utils/switch.v b/theories/utils/switch.v
index 869af58..5880310 100644
--- a/theories/utils/switch.v
+++ b/theories/utils/switch.v
@@ -15,8 +15,8 @@ Fixpoint switch_lams (y : string) (i : nat) (n : nat) (e : expr) : expr :=
   | O => e
   | S n => λ: (y +:+ pretty i), switch_lams y (S i) n e
   end.
-Definition switch_fail (xs : list Z) : val :=
-  λ: "y", switch_lams "f" 0 (length xs) $
+Definition switch_fail (xs : list Z) : val := λ: "y",
+  switch_lams "f" 0 (length xs) $
     switch_body "y" 0 xs (assert: #false) $ λ i, ("f" +:+ pretty i) #().
 
 Fixpoint map_string_seq {A}
-- 
GitLab