diff -r a7ff6c28a432 -r be807e224b0e tool/CommandDomains.h
--- 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: