search

david-a-wheeler / mmverify.py

Metamath verifier in Python
MIT License
35 stars 10 forks source link

What does stat_type do? #1

Closed treeform closed 2 years ago

treeform commented 2 years ago

I am not sure what stat_type does, it only appears to be set but never read?

https://github.com/david-a-wheeler/mmverify.py/blob/master/mmverify.py#L309

david-a-wheeler commented 2 years ago

Whups, that's a vestigial line. It obviously won't hurt anything significant, but it's useless. Maybe we should comment it out, since it hints what the 0th element is.

benjub commented 2 years ago

Thanks. This was recalled in #4 and fixed in #7.