diff options
author | Juan Linietsky <reduzio@gmail.com> | 2015-05-07 20:02:54 -0300 |
---|---|---|
committer | Juan Linietsky <reduzio@gmail.com> | 2015-05-07 20:02:54 -0300 |
commit | c99813dc38cc79b37529cdd98dc2bc2c3ff69edc (patch) | |
tree | 99ea11d3829bf296ea23941a83ebc61158028087 /tools/docdump/doc_dump.cpp | |
parent | 7156aff16041ea56ff1f3aea2a622c130bcca7a9 (diff) | |
parent | ac9263c680076eed36887a681cb59fdcce6c6f73 (diff) |
Merge pull request #1826 from eehrich/master
Reviewed compiler warnings: fixed some bugs and formal stuff. (2nd try)
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)+";"); |