diff -r 5b525d041fb4 -r a6cd48b8ef61 QTfrontend/ui/widget/teamselect.h
--- a/QTfrontend/ui/widget/teamselect.h	Mon Apr 10 20:56:01 2017 +0200
+++ b/QTfrontend/ui/widget/teamselect.h	Mon Apr 10 21:42:53 2017 +0200
@@ -47,6 +47,7 @@
         bool isPlaying(const HWTeam &team) const;
         QList<HWTeam> getPlayingTeams() const;
         QList<HWTeam> getNotPlayingTeams() const;
+	unsigned short getNumHedgehogs() const;
         void setInteractivity(bool interactive);
 
     public slots: