From 5feddb4b1a983a398b4788b1005e7355c38cff3f Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Sun, 20 Mar 2022 10:46:06 -0700
Subject: [PATCH] Remove duplicate INLINE_HEADER_BEGIN
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

* src/thread.h: Remove duplicate INLINE_HEADER_BEGIN.
Problem reportd by Mattias Engdegård.
---
 src/thread.h | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/thread.h b/src/thread.h
index b34ca3d57c8..82c445ba7e7 100644
--- a/src/thread.h
+++ b/src/thread.h
@@ -196,8 +196,6 @@ struct thread_state
   struct bc_thread_state bc;
 } GCALIGNED_STRUCT;
 
-INLINE_HEADER_BEGIN
-
 INLINE bool
 THREADP (Lisp_Object a)
 {
-- 
2.39.2