From 9b75ffdf7c0b3394375c850982b00194c4e4b752 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Wed, 29 Apr 2020 14:34:28 +0200
Subject: [PATCH] Avoid overly long line.

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

diff --git a/theories/fin_maps.v b/theories/fin_maps.v
index 9209cecb..07b0225e 100644
--- a/theories/fin_maps.v
+++ b/theories/fin_maps.v
@@ -142,8 +142,8 @@ Fixpoint map_seq `{Insert nat A M, Empty M} (start : nat) (xs : list A) : M :=
   | x :: xs => <[start:=x]> (map_seq (S start) xs)
   end.
 
-Instance finmap_lookup_total `{!Lookup K A (M A), !Inhabited A} : LookupTotal K A (M A) | 20 :=
-  λ i m, default inhabitant (m !! i).
+Instance finmap_lookup_total `{!Lookup K A (M A), !Inhabited A} :
+  LookupTotal K A (M A) | 20 := λ i m, default inhabitant (m !! i).
 Typeclasses Opaque finmap_lookup_total.
 
 (** * Theorems *)
-- 
GitLab