Amend aaffcd0b: Remove some remnants ...

This commit is contained in:
Kornel Benko 2019-02-27 10:33:25 +01:00
parent aaffcd0b39
commit 2c5c397afa

View File

@ -3303,14 +3303,8 @@ docstring stringifyFromForSearch(FindAndReplaceOptions const & opt,
return docstring();
if (!opt.ignoreformat)
return latexifyFromCursor(cur, len);
else {
if (len < 0) {
return stringifyFromCursor(cur, len);
}
else {
return stringifyFromCursor(cur, len);
}
}
else
return stringifyFromCursor(cur, len);
}