From 0a01057933c0d7d1e8a2f507a5fd84037f34d587 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 27 Jun 2022 07:51:13 -0400
Subject: [PATCH] adjust regexp
---
test-normalizer.sed | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/test-normalizer.sed b/test-normalizer.sed
index b9452d67..52212911 100644
--- a/test-normalizer.sed
+++ b/test-normalizer.sed
@@ -6,5 +6,5 @@ s/subgoal/goal/g
/^File/d
# extra space removed in https://github.com/coq/coq/pull/16130
s/= $/=/
-# coq/coq#16208 (this regex deletes an empty line followed by the "uses section variable" line)
-/^$/{N;/.* uses section variable.*/d}
+# delete "uses section variable" lines (https://github.com/coq/coq/pull/16208)
+/^[^ ]+ uses section variables? .*\.$/d
--
GitLab