This commit is contained in:
Juergen Spitzmueller 2018-03-13 16:01:13 +01:00
parent ab4e9adf86
commit 4d30e00da8

View File

@ -623,7 +623,7 @@ pair<bool, docstring> convert_unicodesymbols(docstring s)
else {
res = false;
for (auto const & c : known_escaped_chars)
if (prefixIs(s, from_ascii("\\") + c))
if (c != 0 && prefixIs(s, from_ascii("\\") + c))
res = true;
i = 1;
}