tool/CommandMaster.h
changeset 1968 4f682084c643
parent 1962 df9b00bda8dc
--- a/tool/CommandMaster.h	Mon Oct 25 09:57:37 2010 +0200
+++ b/tool/CommandMaster.h	Mon Oct 25 10:12:26 2010 +0200
@@ -40,7 +40,7 @@
     public:
         CommandMaster();
 
-        string helpString() const;
+        string helpString(const string &) const;
         void execute(const StringVector &);
 
     private: