--- a/QTfrontend/ui/widget/gamecfgwidget.h	Thu Apr 28 17:42:43 2016 +0200
+++ b/QTfrontend/ui/widget/gamecfgwidget.h	Thu Apr 28 18:32:50 2016 +0200
@@ -40,7 +40,7 @@
         Q_PROPERTY(bool master READ isMaster WRITE setMaster)
 
     public:
-        GameCFGWidget(QWidget* parent);
+        GameCFGWidget(QWidget* parent, bool randomWithoutDLC = false);
         quint32 getGameFlags() const;
         quint32 getInitHealth() const;
         QByteArray getFullConfig() const;