tool/CommandDomains.h
changeset 2004 be807e224b0e
parent 1968 4f682084c643
child 2453 d461b1f07296
--- 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: