--- a/QTfrontend/frameTeam.h	Fri Aug 18 19:59:16 2006 +0000
+++ b/QTfrontend/frameTeam.h	Fri Aug 18 20:37:50 2006 +0000
@@ -12,15 +12,15 @@
 
  public:
   FrameTeams(QWidget* parent=0);
-  QWidget* getTeamWidget(tmprop team);
+  QWidget* getTeamWidget(HWTeam team);
 
  public slots:
-  void addTeam(tmprop team);
-  void removeTeam(tmprop team);
+  void addTeam(HWTeam team);
+  void removeTeam(HWTeam team);
 
  private:
   QVBoxLayout mainLayout;
-  typedef map<tmprop, QWidget*> tmapTeamToWidget;
+  typedef map<HWTeam, QWidget*> tmapTeamToWidget;
   tmapTeamToWidget teamToWidget;
 };