String parsing : fix issue with multiple whitespaces in a row

metamath / metamath-knife

Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.

Apache License 2.0

25 stars 9 forks source link

String parsing : fix issue with multiple whitespaces in a row #82

Closed tirix closed 2 years ago

tirix commented 2 years ago

Edit this fixes the case when tokens in a math string are not separated by single, but multiple whitespaces. With these changes, metamath-knife does not attempt to resolve the "empty" tokens in between.