|
--- graphics/window.cpp 2007-12-14 10:13:24.000000000 +0100
|
|
+++ graphics/window.cpp 2015-10-11 17:14:24.004560636 +0200
|
|
@@ -398,7 +398,7 @@
|
|
*/
|
|
if(token)
|
|
{
|
|
- char *tok = strchr(txt, token);
|
|
+ const char *tok = strchr(txt, token);
|
|
if(tok)
|
|
tokpos = tok-txt;
|
|
else
|