diff options
Diffstat (limited to 'crawl-ref/source/libw32c.cc')
| -rw-r--r-- | crawl-ref/source/libw32c.cc | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/crawl-ref/source/libw32c.cc b/crawl-ref/source/libw32c.cc index 0625331013..3032b5602e 100644 --- a/crawl-ref/source/libw32c.cc +++ b/crawl-ref/source/libw32c.cc @@ -653,12 +653,7 @@ static void cprintf_aux(const char *s) char *p = (char *)s; while(*p) { - if (p[0] == '%' && p[1] == '%') - { - p++; - continue; - } - writeChar(*p++); + writeChar(*p++); } // reset buffering |