max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(library/compiler/emit_cpp): bug at quote_string

Browse source
This commit is contained in:
Leonardo de Moura 2019-02-01 14:15:38 -08:00
parent 4fa06e38b2
commit 42ee42b732
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/library/compiler/emit_cpp.cpp
View file

@ -255,6 +255,8 @@ static void emit_quoted_string(std::ostream & out, std::string const & s) {
out << "\\t";
else if (c == '\\')
out << "\\\\";
else if (c == '\"')
out << "\\\"";
else if (c <= 31 || c >= 0x7f) {
out << "\\x"; emit_hexdigit(out, c / 16); emit_hexdigit(out, c % 16);
} else {