From 62e50f6b6b29e45dd27803e5f95b860c2e874245 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 8 Jun 2022 10:07:34 -0400
Subject: [PATCH] normalize away some trailing spaces

---
 test-normalizer.sed | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/test-normalizer.sed b/test-normalizer.sed
index a0834f434..aa93d45fb 100644
--- a/test-normalizer.sed
+++ b/test-normalizer.sed
@@ -6,3 +6,5 @@ s/subgoal/goal/g
 /[0-9]* focused goals\?$/{N;s/\n */ /;}
 # locations in Fail added in https://github.com/coq/coq/pull/15174
 /^File/d
+# extra space removed in https://github.com/coq/coq/pull/16130
+s/= $/=/
-- 
GitLab