mirror of
https://github.com/ChaiScript/ChaiScript.git
synced 2025-12-07 01:06:54 +08:00
Remove unnecessary false
This commit is contained in:
parent
e02ac78195
commit
5e97f459d8
@ -1615,7 +1615,7 @@ namespace chaiscript
|
|||||||
while (has_matches) {
|
while (has_matches) {
|
||||||
while (Eol()) {}
|
while (Eol()) {}
|
||||||
has_matches = false;
|
has_matches = false;
|
||||||
if (Keyword("catch", false)) {
|
if (Keyword("catch")) {
|
||||||
const auto catch_stack_top = m_match_stack.size();
|
const auto catch_stack_top = m_match_stack.size();
|
||||||
if (Char('(')) {
|
if (Char('(')) {
|
||||||
if (!(Arg() && Char(')'))) {
|
if (!(Arg() && Char(')'))) {
|
||||||
@ -1638,7 +1638,7 @@ namespace chaiscript
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
while (Eol()) {}
|
while (Eol()) {}
|
||||||
if (Keyword("finally", false)) {
|
if (Keyword("finally")) {
|
||||||
const auto finally_stack_top = m_match_stack.size();
|
const auto finally_stack_top = m_match_stack.size();
|
||||||
|
|
||||||
while (Eol()) {}
|
while (Eol()) {}
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user