src/driver.h
branchNewGRF_ports
changeset 6743 cabfaa4a0295
parent 6725 23339968083f
child 6872 1c4a4a609f85
--- a/src/driver.h	Tue Jul 31 23:31:45 2007 +0000
+++ b/src/driver.h	Fri Aug 03 18:10:15 2007 +0000
@@ -11,8 +11,8 @@
 #include <string>
 #include <map>
 
-bool GetDriverParamBool(const char* const* parm, const char* name);
-int GetDriverParamInt(const char* const* parm, const char* name, int def);
+bool GetDriverParamBool(const char * const *parm, const char *name);
+int GetDriverParamInt(const char * const *parm, const char *name, int def);
 
 class Driver {
 public: