--- a/dab/gamescreen.h 2004-01-02 23:34:51.000000000 +0530 +++ b/dab/gamescreen.h 2008-07-31 23:45:19.000000000 +0530 @@ -70,9 +70,9 @@ virtual void redraw(void) = 0; // Refresh virtual int getinput(void) = 0; // Get user input virtual void bell(void) = 0; // Beep - virtual void score(size_t p, const PLAYER& p) = 0; // Post current score - virtual void games(size_t p, const PLAYER& p) = 0; // Post games won - virtual void total(size_t p, const PLAYER& p) = 0; // Post total score + virtual void score(size_t, const PLAYER&) = 0; // Post current score + virtual void games(size_t, const PLAYER&) = 0; // Post games won + virtual void total(size_t, const PLAYER&) = 0; // Post total score virtual void ties(const PLAYER& p) = 0; // Post tie games };