From 220d70626b3e4c7fd74fbd3a0ba15bbd95a38d3f Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Mon, 27 Jun 2022 07:53:28 -0400
Subject: [PATCH] Revert "normalize away new section variable info"

This partially reverts commit 9274f33d1c040e9b86383e769d86aa6d6a915d70.
The pattern is bogus, it blocks other patterns from running after empty lines.
---
 test-normalizer.sed | 2 --
 1 file changed, 2 deletions(-)

diff --git a/test-normalizer.sed b/test-normalizer.sed
index b4c6e4b19..aa93d45fb 100644
--- a/test-normalizer.sed
+++ b/test-normalizer.sed
@@ -8,5 +8,3 @@ 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}
-- 
GitLab