diff -r 5c192a4751d8 -r 2e4f0d0fec99 QTfrontend/model/ThemeModel.h
--- a/QTfrontend/model/ThemeModel.h	Thu Apr 28 02:06:35 2016 +0200
+++ b/QTfrontend/model/ThemeModel.h	Thu Apr 28 15:23:02 2016 +0200
@@ -25,7 +25,6 @@
 #define HEDGEWARS_THEMEMODEL_H
 
 #include <QAbstractListModel>
-#include <QSortFilterProxyModel>
 #include <QStringList>
 #include <QMap>
 #include <QIcon>
@@ -45,12 +44,10 @@
 
         int rowCount(const QModelIndex &parent = QModelIndex()) const;
         QVariant data(const QModelIndex &index, int role) const;
-        QSortFilterProxyModel * withoutDLC();
 
     private:
         mutable QList<QMap<int, QVariant> > m_data;
         mutable bool m_themesLoaded;
-        mutable QSortFilterProxyModel * m_filteredNoDLC;
 
         void loadThemes() const;
 };