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