diff -r a7ff6c28a432 -r be807e224b0e tool/CommandPdos.h
--- a/tool/CommandPdos.h	Fri Nov 26 11:23:19 2010 +0100
+++ b/tool/CommandPdos.h	Sat Nov 27 17:02:54 2010 +0100
@@ -40,7 +40,7 @@
     public:
         CommandPdos();
 
-        string helpString() const;
+        string helpString(const string &) const;
         void execute(const StringVector &);
 
     protected: