diff -r 87de63b19e4c -r 04fdb4abf120 tool/CommandDomains.h
--- a/tool/CommandDomains.h	Tue Dec 14 21:58:53 2010 +0100
+++ b/tool/CommandDomains.h	Mon Dec 20 17:52:37 2010 +0100
@@ -40,7 +40,7 @@
     public:
         CommandDomains();
 
-        string helpString() const;
+        string helpString(const string &) const;
         void execute(const StringVector &);
 
     protected: