From 0fe5f842121795657d818601492a5435bbd3cf01 Mon Sep 17 00:00:00 2001
From: Dan Frumin <dfrumin@cs.ru.nl>
Date: Tue, 26 Mar 2019 18:55:04 +0100
Subject: [PATCH] Remove a trailing whitespace

---
 theories/fin_maps.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/theories/fin_maps.v b/theories/fin_maps.v
index 63daffbe..e31e8d6b 100644
--- a/theories/fin_maps.v
+++ b/theories/fin_maps.v
@@ -1302,7 +1302,7 @@ Lemma map_zip_with_fmap_1 {A' A B C} (f : A → B → C)
     (g : A' → A) (m1 : M A') (m2 : M B) :
   map_zip_with f (g <$> m1) m2 = map_zip_with (λ x y, f (g x) y) m1 m2.
 Proof.
-  rewrite <- (map_fmap_id m2) at 1. by rewrite map_zip_with_fmap. 
+  rewrite <- (map_fmap_id m2) at 1. by rewrite map_zip_with_fmap.
 Qed.
 
 Lemma map_zip_with_fmap_2 {A B' B C} (f : A → B → C)
-- 
GitLab