diff options
| author | ehriche <eehrich@googlemail.com> | 2015-05-06 00:56:59 +0200 |
|---|---|---|
| committer | ehriche <eehrich@googlemail.com> | 2015-05-06 01:22:31 +0200 |
| commit | 897a1aade5332753d9fda950d80495798cdc85b4 (patch) | |
| tree | 53f4cab913ef39a1563704751df07d43ebfef42f /tools/docdump/doc_dump.cpp | |
| parent | fe13c728fd44a1271f218685fc73ed4ba8d3ce7a (diff) | |
optional formal changes
Diffstat (limited to 'tools/docdump/doc_dump.cpp')
| -rw-r--r-- | tools/docdump/doc_dump.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/docdump/doc_dump.cpp b/tools/docdump/doc_dump.cpp index d10f6c9ce3..17aff3dc74 100644 --- a/tools/docdump/doc_dump.cpp +++ b/tools/docdump/doc_dump.cpp @@ -65,7 +65,7 @@ static String _escape_string(const String& p_str) { ret=ret.replace(">","<"); ret=ret.replace("'","'"); ret=ret.replace("\"","""); - for (int i=1;i<32;i++) { + for (char i=1;i<32;i++) { char chr[2]={i,0}; ret=ret.replace(chr,"&#"+String::num(i)+";"); |