From be5965ae9183ebd17e71b74d4721520d85be6e6c Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Tue, 9 Oct 2012 07:36:17 +0200 Subject: [PATCH] remove unneeded header and declaration --- src/frontends/qt4/GuiDocument.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/frontends/qt4/GuiDocument.h b/src/frontends/qt4/GuiDocument.h index a84c5a5005..0bfbc1692e 100644 --- a/src/frontends/qt4/GuiDocument.h +++ b/src/frontends/qt4/GuiDocument.h @@ -17,7 +17,6 @@ #include "BufferParams.h" #include "BulletsModule.h" -#include "CategorizedCombo.h" #include "GuiDialog.h" #include "GuiIdListModel.h" @@ -48,7 +47,6 @@ class TextClass; namespace frontend { -class CategorizedCombo; class FloatPlacement; class GuiBranches; class GuiIndices; -- 2.39.5