From b7e4cc9a373125895f12d76411763f8c4126683b Mon Sep 17 00:00:00 2001 From: Pavel Sanda Date: Fri, 20 Sep 2024 21:33:41 +0200 Subject: [PATCH] Header not needed anymore --- src/frontends/qt/GuiSearch.h | 1 - 1 file changed, 1 deletion(-) diff --git a/src/frontends/qt/GuiSearch.h b/src/frontends/qt/GuiSearch.h index bb3b5237aa..5ff29abb20 100644 --- a/src/frontends/qt/GuiSearch.h +++ b/src/frontends/qt/GuiSearch.h @@ -13,7 +13,6 @@ #ifndef GUISEARCH_H #define GUISEARCH_H -#include "GuiDialog.h" #include "DockView.h" #include "FancyLineEdit.h"