--- a/tool/CommandDebug.h Mon Oct 25 09:57:37 2010 +0200
+++ b/tool/CommandDebug.h Mon Oct 25 10:12:26 2010 +0200
@@ -40,7 +40,7 @@
public:
CommandDebug();
- string helpString() const;
+ string helpString(const string &) const;
void execute(const StringVector &);
};