From 22ea81efe0111381be372d88821da8b2fa76be71 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 16 Jun 2020 14:09:50 +0200
Subject: make the linter happy

---
 test-suite/ssr/rewrtite_err_msg.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test-suite/ssr/rewrtite_err_msg.v b/test-suite/ssr/rewrtite_err_msg.v
index d749fd264b..2bbbff433c 100644
--- a/test-suite/ssr/rewrtite_err_msg.v
+++ b/test-suite/ssr/rewrtite_err_msg.v
@@ -27,4 +27,4 @@ Lemma commute_abelian (gT : finGroupType) (G : group gT)
   mul g g' = mul g' g.
 Proof.
 Fail rewrite (centsP _). (* fails but without an anomaly *)
-Abort.
\ No newline at end of file
+Abort.
-- 
cgit v1.2.3