From 21bf312c7dabd83bd3f0c4eb708a7b78534f0ac2 Mon Sep 17 00:00:00 2001
From: "Paolo G. Giarrusso" <p.giarrusso@gmail.com>
Date: Fri, 8 Nov 2019 15:59:28 +0100
Subject: [PATCH] Drop trailing whitespace

---
 tests/proofmode.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/proofmode.v b/tests/proofmode.v
index adfc17780..85903527a 100644
--- a/tests/proofmode.v
+++ b/tests/proofmode.v
@@ -158,7 +158,7 @@ Proof.
   iIntros "H".
   let H1 := iFresh in
   let H2 := iFresh in
-  let pat :=constr:(IList [cons (IIdent H1) (cons (IIdent H2) nil)]) in 
+  let pat :=constr:(IList [cons (IIdent H1) (cons (IIdent H2) nil)]) in
   iDestruct "H" as pat.
   iFrame.
 Qed.
-- 
GitLab