Closed benjub closed 2 years ago
mmverify.py was not raising an error for unclosed comments (see https://groups.google.com/g/metamath/c/PAm7YQb2qkw/m/dLwSolgwDOUJ). This is now fixed. The main change in this PR is a more robust method readc
readc
mmverify.py was not raising an error for unclosed comments (see https://groups.google.com/g/metamath/c/PAm7YQb2qkw/m/dLwSolgwDOUJ). This is now fixed. The main change in this PR is a more robust method
readc