From abd26f1122b88be63ad7491f50fb76b3b7e467ea Mon Sep 17 00:00:00 2001
From: Pavel Sanda <sanda@lyx.org>
Date: Tue, 15 Oct 2024 20:09:52 +0200
Subject: [PATCH] Not needed anymore

---
 src/frontends/qt/GuiWorkArea.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/frontends/qt/GuiWorkArea.h b/src/frontends/qt/GuiWorkArea.h
index 446253248a..725cfe8dd7 100644
--- a/src/frontends/qt/GuiWorkArea.h
+++ b/src/frontends/qt/GuiWorkArea.h
@@ -18,7 +18,6 @@
 #include "frontends/WorkArea.h"
 
 #include <QAbstractScrollArea>
-#include <QTabBar>
 #include <QTabWidget>
 
 class QToolButton;