fixup! do not treat \0 as EOF

This commit is contained in:
Noah Hellman 2023-02-01 21:57:32 +01:00
parent 59450ed9ad
commit 670763dd93

View file

@ -733,11 +733,7 @@ impl IdentifiedBlock {
let start_paren = first == '('; let start_paren = first == '(';
if start_paren { if start_paren {
first = if let Some(c) = chars.next() { first = chars.next()?;
c
} else {
return None;
};
} }
let numbering = if first.is_ascii_digit() { let numbering = if first.is_ascii_digit() {